Deductive verification of simple foraging robotic behaviours
From MaRDI portal
Recommendations
- Formal modelling and verification of multi-robot systems specified with temporal logic
- Probabilistic \(\mathrm{CTL}^*\): the deductive way
- Modelling and Verification of Timed Robotic Controllers
- On the verification of very expressive temporal properties of non-terminating Golog programs
- Temporal logic motion planning for dynamic robots
Cites work
- Axiomatizing the monodic fragment of first-order temporal logic
- Clausal temporal resolution
- Decidable fragments of first-order temporal logics
- scientific article; zbMATH DE number 3937153 (Why is no real title available?)
- Implementing a fair monodic temporal logic prover
- Mechanising first-order temporal resolution
- Temporalising tableaux
- The complementation problem for Büchi automata with applications to temporal logic
- The complexity of propositional linear temporal logics
- The temporal semantics of concurrent programs
Cited in
(5)- Parameterized verification of leader/follower systems via first-order temporal logic
- Extracting unsatisfiable cores for LTL via temporal resolution
- Formal modelling and verification of multi-robot systems specified with temporal logic
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Fair Derivations in Monodic Temporal Reasoning
This page was built for publication: Deductive verification of simple foraging robotic behaviours
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3653523)
