Coarse Abstractions Make Zeno Behaviours Difficult to Detect (Q3090824): 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 @@
+Forward analysis of updatable timed automata
@@ Property / cites work: Forward analysis of updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+How to stop time stopping
@@ Property / cites work: How to stop time stopping / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Detection of Zeno Runs in Timed Automata
+Normal rank
@@ Property / cites work @@
+Coarse abstractions make Zeno behaviours difficult to detect
+Normal rank
@@ Property / cites work @@
+Checking Timed Büchi Automata Emptiness Using LU-Abstractions
+Normal rank
@@ Property / cites work @@
+Checking timed Büchi automata emptiness on simulation graphs
+Normal rank
@@ Property / cites work @@
+Checking timed Büchi automata emptiness efficiently
+Normal rank