Deductive verification of simple foraging robotic behaviours
From MaRDI portal
Publication:3653523
DOI10.1108/17563780911005818zbMath1178.93098WikidataQ98283628 ScholiaQ98283628MaRDI QIDQ3653523
No author found.
Publication date: 22 December 2009
Published in: International Journal of Intelligent Computing and Cybernetics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1108/17563780911005818
93C85: Automated systems (robots, etc.) in control theory
68T40: Artificial intelligence for robotics
Related Items
Fair Derivations in Monodic Temporal Reasoning, Extracting unsatisfiable cores for LTL via temporal resolution, Enhancing unsatisfiable cores for LTL with information on temporal relevance
Uses Software
Cites Work
- Unnamed Item
- The complementation problem for Büchi automata with applications to temporal logic
- The temporal semantics of concurrent programs
- Decidable fragments of first-order temporal logics
- Temporalising tableaux
- Axiomatizing the monodic fragment of first-order temporal logic
- Mechanising first-order temporal resolution
- Implementing a fair monodic temporal logic prover
- The complexity of propositional linear temporal logics
- Clausal temporal resolution