Verification of agent navigation in partially-known environments (Q2144175): Difference between revisions

@@ Property / cites work @@
+Q2755098
@@ Property / cites work: Q2755098 / rank @@
+Normal rank
@@ Property / cites work @@
+How to meet asynchronously (almost) everywhere
@@ Property / cites work: How to meet asynchronously (almost) everywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Near-optimal continuous patrolling with teams of mobile information gathering agents
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Formal verification of mobile robot protocols
@@ Property / cites work: Formal verification of mobile robot protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Impossibility of gathering, a certification
@@ Property / cites work: Impossibility of gathering, a certification / rank @@
+Normal rank
@@ Property / cites work @@
+Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots
+Normal rank
@@ Property / cites work @@
+On Reasoning About Rings
@@ Property / cites work: On Reasoning About Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Efficient Parameterized Synthesis
@@ Property / cites work: Towards Efficient Parameterized Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Model Checking of Token-Passing Systems
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized model checking of rendezvous systems
+Normal rank
@@ Property / cites work @@
+Liveness of Parameterized Timed Networks
@@ Property / cites work: Liveness of Parameterized Timed Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised verification for multi-agent systems
+Normal rank
@@ Property / cites work @@
+Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
+Normal rank
@@ Property / cites work @@
+A new representation and associated algorithms for generalized planning
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Bounded situation calculus action theories
@@ Property / cites work: Bounded situation calculus action theories / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4584899
@@ Property / cites work: Q4584899 / rank @@
+Normal rank
@@ Property / cites work @@
+Anonymous graph exploration with binoculars
@@ Property / cites work: Anonymous graph exploration with binoculars / rank @@
+Normal rank
@@ Property / cites work @@
+Nested Pebbles and Transitive Closure
@@ Property / cites work: Nested Pebbles and Transitive Closure / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of a ring of finite-state machines
+Normal rank
@@ Property / cites work @@
+Q4362731
@@ Property / cites work: Q4362731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Parameterised Multi-token Systems via the Composition Method
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Cosmological lower bound on the circuit complexity of a small problem in logic
+Normal rank