Verification of agent navigation in partially-known environments

DOI10.1016/J.ARTINT.2022.103724MaRDI QIDQ2144175zbMATH OpenOpenAlexFDO

Authors Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

Publication date 1 June 2022

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2022.103724

zbMATH Keywords

model checkingparameterised verificationautomata theoryreasoning about actionsmobile agentslogic in artificial intelligence

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• Decidability classes for mobile agents computing
• Parameterised verification for multi-agent systems
• Distributed verification using mobile agents
• On mobile agent verifiable problems
• On mobile agent verifiable problems

Cites work

• scientific article; zbMATH DE number 1086493 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A new representation and associated algorithms for generalized planning
• Alternating-time temporal logic
• Anonymous graph exploration with binoculars
• Bounded situation calculus action theories
• Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots
• Computational principles of mobile robotics
• Cosmological lower bound on the circuit complexity of a small problem in logic
• Formal verification of mobile robot protocols
• GOLOG: A logic programming language for dynamic domains
• Graph structure and monadic second-order logic. A language-theoretic approach
• How to meet asynchronously (almost) everywhere
• Impossibility of gathering, a certification
• Liveness of parameterized timed networks
• Mobile agents in distributed computing: network exploration
• Model checking parameterised multi-token systems via the composition method
• Near-optimal continuous patrolling with teams of mobile information gathering agents
• Nested Pebbles and Transitive Closure
• On Reasoning About Rings
• Parameterised verification for multi-agent systems
• Parameterized Model Checking of Token-Passing Systems
• Parameterized model checking of rendezvous systems
• Parameterized model checking of synchronous distributed algorithms by abstraction
• Proving properties of a ring of finite-state machines
• Reasoning about infinite computations
• Reasoning about strategies: on the model-checking problem
• Reasoning about systems with many processes
• Towards efficient parameterized synthesis

Cited in

(4)

• Navigability with intermediate constraints
• On mobile agent verifiable problems
• Decidability classes for mobile agents computing
• scientific article; zbMATH DE number 2089071 (Why is no real title available?)

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Verification of agent navigation in partially-known environments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144175)