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

@@ Property / DOI @@
-.1007/s00165-020-00509-0
@@ Property / DOI: 10.1007/s00165-020-00509-0 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Synthia
@@ Property / describes a project that uses: Synthia / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM-games
@@ Property / describes a project that uses: PRISM-games / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LTLMoP
@@ Property / describes a project that uses: LTLMoP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ROS
@@ Property / describes a project that uses: ROS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-020-00509-0
+Normal rank
@@ Property / OpenAlex ID @@
+W3012575488
@@ Property / OpenAlex ID: W3012575488 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q130844887
@@ Property / Wikidata QID: Q130844887 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-020-00509-0
@@ Property / DOI: 10.1007/S00165-020-00509-0 / rank @@
+Normal rank