PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133): Difference between revisions

@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Model-checking Timed Temporal Logics
@@ Property / cites work: Model-checking Timed Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A tool for deciding the satisfiability of continuous-time metric temporal logic
+Normal rank
@@ Property / cites work @@
+From regular expressions to deterministic automata
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+PRISM-games: A Model Checker for Stochastic Multi-Player Games
+Normal rank
@@ Property / cites work @@
+Multi-robot LTL planning under uncertainty
@@ Property / cites work: Multi-robot LTL planning under uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+Springer Handbook of Robotics
@@ Property / cites work: Springer Handbook of Robotics / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent planning under local LTL specifications and event-based synchronization
+Normal rank
@@ Property / cites work @@
+Agent technology from a formal perspective.
@@ Property / cites work: Agent technology from a formal perspective. / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank