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,
- 2015-05-19; in: "PRIMA",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.