Deductive verification of simple foraging robotic behaviours

DOI10.1108/17563780911005818zbMath1178.93098OpenAlexW1979495062WikidataQ98283628 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

zbMATH Keywords

modelingroboticscontrol applicationscontrol technology

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Artificial intelligence for robotics (68T40)

Related Items (4)

Extracting unsatisfiable cores for LTL via temporal resolution ⋮ Parameterized verification of leader/follower systems via first-order temporal logic ⋮ Enhancing unsatisfiable cores for LTL with information on temporal relevance ⋮ Fair Derivations in Monodic Temporal Reasoning

Uses Software

• NuSMV

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

This page was built for publication: Deductive verification of simple foraging robotic behaviours