Better abstractions for timed automata (Q342707): 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 @@
+Q4417927
@@ Property / cites work: Q4417927 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / 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 @@
+Model-checking Timed Temporal Logics
@@ Property / cites work: Model-checking Timed Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Optimal Reachability in Weighted Timed Automata
+Normal rank
@@ Property / cites work @@
+Q2911614
@@ Property / cites work: Q2911614 / rank @@
+Normal rank
@@ Property / cites work @@
+Better Abstractions for Timed Automata
@@ Property / cites work: Better Abstractions for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Q4508303
@@ Property / cites work: Q4508303 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Linear Inequalities by Computing Loop Residues
+Normal rank
@@ Property / cites work @@
+Verifying abstractions of timed systems
@@ Property / cites work: Verifying abstractions of timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of timed systems using time-abstracting bisimulations
+Normal rank
@@ Property / cites work @@
+A quadratic-time DBM-based successor algorithm for checking timed automata
+Normal rank