A game approach to determinize timed automata (Q2018058): 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 @@
+Undecidable Problems About Timed Automata
@@ Property / cites work: Undecidable Problems About Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Folk theorems on the determinization and minimization of timed automata
+Normal rank
@@ Property / cites work @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Timed Automata with Integer Resets: Language Inclusion and Expressiveness
+Normal rank
@@ Property / cites work @@
+When Are Timed Automata Determinizable?
@@ Property / cites work: When Are Timed Automata Determinizable? / rank @@
+Normal rank
@@ Property / cites work @@
+Conformance testing for real-time systems
@@ Property / cites work: Conformance testing for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Off-line test selection with test purposes for non-deterministic timed automata
+Normal rank
@@ Property / cites work @@
+A Game Approach to Determinize Timed Automata
@@ Property / cites work: A Game Approach to Determinize Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Updatable timed automata
@@ Property / cites work: Updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Forward analysis of updatable timed automata
@@ Property / cites work: Forward analysis of updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed I/O automata
@@ Property / cites work: Timed I/O automata / rank @@
+Normal rank