Matches in SemOpenAlex for { <https://semopenalex.org/work/W2188641121> ?p ?o ?g. }
- W2188641121 endingPage "208" @default.
- W2188641121 startingPage "199" @default.
- W2188641121 abstract "Automata walking on graphs are a mathematical formalisation of autonomous mobile agents with limited memory operating in discrete environments. This paper establishes a framework in which to model and automatically verify that autonomous mobile agents correctly perform their tasks. The framework consists of a logical language tailored for expressing agent tasks, and an algorithm solving the parameterized verification problem, where the graphs are treated as the parameter. We reduce the parameterised verification problem to classic questions in automata theory and monadic second order logic, i.e., universality and validity problems.We illustrate the framework by instantiating it to a popular model of robot from the distributed computing literature.This work clarifies the border between classes of mobile-agent systems that have decidable parameterised verification problem, and those that do not." @default.
- W2188641121 created "2016-06-24" @default.
- W2188641121 creator A5000922082 @default.
- W2188641121 date "2015-05-04" @default.
- W2188641121 modified "2023-09-23" @default.
- W2188641121 title "Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments" @default.
- W2188641121 cites W143018197 @default.
- W2188641121 cites W1482193060 @default.
- W2188641121 cites W1502647632 @default.
- W2188641121 cites W1509819701 @default.
- W2188641121 cites W1522193308 @default.
- W2188641121 cites W1536130634 @default.
- W2188641121 cites W1555742330 @default.
- W2188641121 cites W1569088102 @default.
- W2188641121 cites W156970821 @default.
- W2188641121 cites W158665046 @default.
- W2188641121 cites W1598659274 @default.
- W2188641121 cites W1623604111 @default.
- W2188641121 cites W1662376798 @default.
- W2188641121 cites W1750856813 @default.
- W2188641121 cites W179805188 @default.
- W2188641121 cites W1816620374 @default.
- W2188641121 cites W1879436584 @default.
- W2188641121 cites W1921404173 @default.
- W2188641121 cites W1985604029 @default.
- W2188641121 cites W198728890 @default.
- W2188641121 cites W2012346719 @default.
- W2188641121 cites W2013618518 @default.
- W2188641121 cites W2014144845 @default.
- W2188641121 cites W2017617294 @default.
- W2188641121 cites W2039936247 @default.
- W2188641121 cites W2047087577 @default.
- W2188641121 cites W2066611459 @default.
- W2188641121 cites W2107444004 @default.
- W2188641121 cites W2109943697 @default.
- W2188641121 cites W2119397055 @default.
- W2188641121 cites W2124876285 @default.
- W2188641121 cites W2129073086 @default.
- W2188641121 cites W2133055577 @default.
- W2188641121 cites W2133853963 @default.
- W2188641121 cites W2147269402 @default.
- W2188641121 cites W2149888497 @default.
- W2188641121 cites W2151259708 @default.
- W2188641121 cites W2162786453 @default.
- W2188641121 cites W2231860374 @default.
- W2188641121 cites W2254622818 @default.
- W2188641121 cites W2338820189 @default.
- W2188641121 cites W2340735175 @default.
- W2188641121 cites W2395891450 @default.
- W2188641121 cites W2399351297 @default.
- W2188641121 cites W2735546981 @default.
- W2188641121 cites W2913459036 @default.
- W2188641121 cites W2963037235 @default.
- W2188641121 cites W81992595 @default.
- W2188641121 doi "https://doi.org/10.5555/2772879.2772908" @default.
- W2188641121 hasPublicationYear "2015" @default.
- W2188641121 type Work @default.
- W2188641121 sameAs 2188641121 @default.
- W2188641121 citedByCount "4" @default.
- W2188641121 countsByYear W21886411212016 @default.
- W2188641121 countsByYear W21886411212018 @default.
- W2188641121 countsByYear W21886411212019 @default.
- W2188641121 crossrefType "proceedings-article" @default.
- W2188641121 hasAuthorship W2188641121A5000922082 @default.
- W2188641121 hasConcept C112505250 @default.
- W2188641121 hasConcept C11413529 @default.
- W2188641121 hasConcept C120314980 @default.
- W2188641121 hasConcept C121332964 @default.
- W2188641121 hasConcept C13687954 @default.
- W2188641121 hasConcept C153269930 @default.
- W2188641121 hasConcept C154945302 @default.
- W2188641121 hasConcept C165464430 @default.
- W2188641121 hasConcept C183992945 @default.
- W2188641121 hasConcept C19966478 @default.
- W2188641121 hasConcept C41008148 @default.
- W2188641121 hasConcept C62520636 @default.
- W2188641121 hasConcept C80444323 @default.
- W2188641121 hasConcept C90509273 @default.
- W2188641121 hasConceptScore W2188641121C112505250 @default.
- W2188641121 hasConceptScore W2188641121C11413529 @default.
- W2188641121 hasConceptScore W2188641121C120314980 @default.
- W2188641121 hasConceptScore W2188641121C121332964 @default.
- W2188641121 hasConceptScore W2188641121C13687954 @default.
- W2188641121 hasConceptScore W2188641121C153269930 @default.
- W2188641121 hasConceptScore W2188641121C154945302 @default.
- W2188641121 hasConceptScore W2188641121C165464430 @default.
- W2188641121 hasConceptScore W2188641121C183992945 @default.
- W2188641121 hasConceptScore W2188641121C19966478 @default.
- W2188641121 hasConceptScore W2188641121C41008148 @default.
- W2188641121 hasConceptScore W2188641121C62520636 @default.
- W2188641121 hasConceptScore W2188641121C80444323 @default.
- W2188641121 hasConceptScore W2188641121C90509273 @default.
- W2188641121 hasLocation W21886411211 @default.
- W2188641121 hasOpenAccess W2188641121 @default.
- W2188641121 hasPrimaryLocation W21886411211 @default.
- W2188641121 hasRelatedWork W1601320636 @default.
- W2188641121 hasRelatedWork W2070453546 @default.
- W2188641121 hasRelatedWork W2076926431 @default.