Verification of agent navigation in partially-known environments
- 6 April 2022
- journal article
- research article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 308, 103724
- https://doi.org/10.1016/j.artint.2022.103724
Abstract
No abstract availableKeywords
Funding Information
- Austrian Science Fund (P 32021)
This publication has 35 references indexed in Scilit:
- Temporal logic robot control based on automata learning of environmental dynamicsThe International Journal of Robotics Research, 2013
- Optimal path planning for surveillance with temporal-logic constraintsThe International Journal of Robotics Research, 2011
- A new representation and associated algorithms for generalized planningArtificial Intelligence, 2011
- On Reasoning About RingsInternational Journal of Foundations of Computer Science, 2003
- Cosmological lower bound on the circuit complexity of a small problem in logicJournal of the ACM, 2002
- Alternating-time temporal logicJournal of the ACM, 2002
- GOLOG: A logic programming language for dynamic domainsThe Journal of Logic Programming, 1997
- Reasoning about Infinite ComputationsInformation and Computation, 1994
- Reasoning about systems with many processesJournal of the ACM, 1992
- Proving properties of a ring of finite-state machinesInformation Processing Letters, 1988