<div class="csl-bib-body">
<div class="csl-entry">Aminof, B., Murano, A., Rubin, S., & Zuleger, F. (2015). Verification of Asynchronous Mobile-Robots in Partially-Known Environments. In Q. Chen, P. Torroni, S. Villata, J. Hsu, & A. Omicini (Eds.), <i>PRIMA 2015: Principles and Practice of Multi-Agent Systems : 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings</i> (FP7 EU: 600958-SHERPA). Cham. https://doi.org/10.1007/978-3-319-25524-8_12</div>
</div>
The final publication is available via <a href="https://doi.org/10.1007/978-3-319-25524-8_12" target="_blank">https://doi.org/10.1007/978-3-319-25524-8_12</a>.
-
dc.description.abstract
This paper establishes a framework based on logic and automata theory in which to model and automatically verify that multiple mobile robots, with sensing abilities, moving asynchronously, correctly perform their tasks. The motivation is from practical scenarios in which the environment is not completely know to the robots, e.g., physical robots exploring a maze, or software agents exploring a hostile network. The framework shows how to express tasks in a logical language, and exhibits an algorithm solving the parameterised verification problem, where the graphs are treated as the parameter. The main assumption that yields decidability is that the robots take a bounded number of turns. We prove that dropping this assumption results in undecidability, even for robots with very limited (“local”) sensing abilities.
en
dc.description.sponsorship
Austrian Science Funds (FWF) Austrian National Research Network (RiSE)
-
dc.description.sponsorship
Vienna Science and Technology Fund (WWTF)
-
dc.description.sponsorship
FP7 EU: 600958-SHERPA
-
dc.language
English
-
dc.language.iso
en
-
dc.publisher
Cham
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.title
Verification of Asynchronous Mobile-Robots in Partially-Known Environments
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.contributor.affiliation
University of Naples Federico II, Italy
-
dc.contributor.affiliation
University of Naples Federico II, Italy
-
dc.relation.isbn
9783319255231
-
dc.relation.doi
10.1007/978-3-319-25524-8
-
dc.relation.issn
0302-9743
-
dc.relation.grantno
S11403-N23
-
dc.relation.grantno
ICT12-059
-
dc.rights.holder
Springer International Publishing Switzerland 2015
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
PRIMA 2015: Principles and Practice of Multi-Agent Systems : 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings
-
tuw.container.volume
9387
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer Cham
-
tuw.version
am
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
tuw.publisher.doi
10.1007/978-3-319-25524-8_12
-
dc.identifier.libraryid
AC15093560
-
dc.description.numberOfPages
16
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-3651
-
tuw.author.orcid
0000-0003-1468-8398
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.event.name
PRIMA: International Conference on Principles and Practice of Multi-Agent Systems 2015
-
dc.identifier.reportid
FP7 EU: 600958-SHERPA
-
tuw.event.startdate
26-10-2015
-
tuw.event.enddate
30-10-2015
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Bertinoro
-
tuw.event.country
IT
-
tuw.event.presenter
Aminof, Benjamin
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.languageiso639-1
en
-
item.openaccessfulltext
Open Access
-
item.fulltext
with Fulltext
-
item.grantfulltext
open
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
University of Naples Federico II
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
