Model checking weighted integer reset timed automata (Q537908): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / 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 @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+When Are Timed Automata Determinizable?
@@ Property / cites work: When Are Timed Automata Determinizable? / rank @@
+Normal rank
@@ Property / cites work @@
+Timed automata and additive clock constraints
@@ Property / cites work: Timed automata and additive clock constraints / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of non-observable actions in timed automata
+Normal rank
@@ Property / cites work @@
+Updatable timed automata
@@ Property / cites work: Updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Improved undecidability results on weighted timed automata
+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 @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+On model-checking timed automata with stopwatch observers
+Normal rank
@@ Property / cites work @@
+Q4514735
@@ Property / cites work: Q4514735 / rank @@
+Normal rank
@@ Property / cites work @@
+Updatable Timed Automata with Additive and Diagonal Constraints
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Automata with Integer Resets: Language Inclusion and Expressiveness
+Normal rank
@@ Property / cites work @@
+Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
+Normal rank