Specifications for decidable hybrid games (Q650914): Difference between revisions

@@ Property / author @@
-Geir E. Dullerud
@@ Property / author: Geir E. Dullerud / rank @@
-Normal rank
@@ Property / author @@
+Geir E. Dullerud
@@ Property / author: Geir E. Dullerud / 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.1016/j.tcs.2011.08.036
+Normal rank
@@ Property / OpenAlex ID @@
+W2154908821
@@ Property / OpenAlex ID: W2154908821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251920
@@ Property / cites work: Q4251920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted o-minimal hybrid systems
@@ Property / cites work: Weighted o-minimal hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Minimum-Time Reachability in Timed Games
@@ Property / cites work: Minimum-Time Reachability in Timed Games / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of o-minimal hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4736580
@@ Property / cites work: Q4736580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791854
@@ Property / cites work: Q4791854 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for dynamical, control, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4270068
@@ Property / cites work: Q4270068 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete-time control for rectangular hybrid automata
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Q4552484
@@ Property / cites work: Q4552484 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+Normal rank
@@ Property / cites work @@
+Controller synthesis for bisimulation equivalence
@@ Property / cites work: Controller synthesis for bisimulation equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Q4391214
@@ Property / cites work: Q4391214 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict resolution for air traffic management: a study in multiagent hybrid systems
+Normal rank
@@ Property / cites work @@
+On the real exponential field with restricted analytic functions
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank
@@ Property / cites work @@
+STORMED Hybrid Systems
@@ Property / cites work: STORMED Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+STORMED Hybrid Games
@@ Property / cites work: STORMED Hybrid Games / rank @@
+Normal rank