Weighted o-minimal hybrid systems (Q636266): Difference between revisions

@@ Property / describes a project that uses @@
+UPPAAL CORA
@@ Property / describes a project that uses: UPPAAL CORA / 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.apal.2009.07.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2035999266
@@ Property / OpenAlex ID: W2035999266 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / 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 @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+On the optimal reachability problem of weighted timed automata
+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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Improved undecidability results on weighted timed automata
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On model-checking timed automata with stopwatch observers
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4037384
@@ Property / cites work: Q4037384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking One-Clock Priced Timed Automata
@@ Property / cites work: Model-Checking One-Clock Priced Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Almost Optimal Strategies in One Clock Priced Timed Games
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of o-minimal hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q5387709
@@ Property / cites work: Q5387709 / rank @@
+Normal rank
@@ Property / cites work @@
+Topologies, Continuity and Bisimulations
@@ Property / cites work: Topologies, Continuity and Bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid automata with finite bisimulations
@@ Property / cites work: Hybrid automata with finite bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of symbolic transition systems
@@ Property / cites work: A classification of symbolic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397030
@@ Property / cites work: Q4397030 / rank @@
+Normal rank
@@ Property / cites work @@
+Definable Sets in Ordered Structures. I
@@ Property / cites work: Definable Sets in Ordered Structures. I / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank
@@ Property / cites work @@
+Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
+Normal rank
@@ Property / cites work @@
+Q4355928
@@ Property / cites work: Q4355928 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:636266