Talks and Poster Presentations (with Proceedings-Entry):
B. Aminof, A. Murano, S. Rubin, F. Zuleger:
"Verification of Asynchronous Mobile-Robots in Partially-Known Environments";
Talk: Principles and Practice of Multi-Agent Systems,
Graz;
2015-05-18
- 2015-05-19; in: "PRIMA",
Springer,
9387
(2015),
185
- 200.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-25524-8_12
Created from the Publication Database of the Vienna University of Technology.