Model measuring for discrete and hybrid systems (Q2374564): Difference between revisions

@@ Property / cites work @@
+Enhancing model checking in verification by AI techniques
+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 @@
+From Model Checking to Model Measuring
@@ Property / cites work: From Model Checking to Model Measuring / rank @@
+Normal rank
@@ Property / cites work @@
+Model measuring for hybrid systems
@@ Property / cites work: Model measuring for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation distances
@@ Property / cites work: Simulation distances / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270071
@@ Property / cites work: Q4270071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769612
@@ Property / cites work: Q2769612 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
+Normal rank
@@ Property / cites work @@
+PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD
+Normal rank
@@ Property / cites work @@
+Robust safety of timed automata
@@ Property / cites work: Robust safety of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Model-Checking of Timed Automata via Pumping in Channel Machines
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+Robust reachability in timed automata and games: a game-based approach
+Normal rank
@@ Property / cites work @@
+Lipschitz Robustness of Timed I/O Systems
@@ Property / cites work: Lipschitz Robustness of Timed I/O Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Languages
@@ Property / cites work: Quantitative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the optimal reachability problem of weighted timed automata
+Normal rank
@@ Property / cites work @@
+Discount-Optimal Infinite Runs in Priced Timed Automata
+Normal rank
@@ Property / cites work @@
+Concavely-Priced Timed Automata
@@ Property / cites work: Concavely-Priced Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of timed automata for the development of real-time systems
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal paths in weighted timed automata
@@ Property / cites work: Optimal paths in weighted timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807826
@@ Property / cites work: Q4807826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953401
@@ Property / cites work: Q4953401 / rank @@
+Normal rank
@@ Property / cites work @@
+On Reachability for Hybrid Automata over Bounded Time
+Normal rank
@@ Property / cites work @@
+Stability radii of linear discrete‐time systems and symplectic pencils
+Normal rank
@@ Property / cites work @@
+\(E\)-unification with constants vs. general \(E\)-unification
+Normal rank