Q5089282 (Q5089282): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2020.17
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2020.17 / rank @@
-Normal rank
@@ Property / author @@
+Jean-François Raskin
@@ Property / author: Jean-François Raskin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Time robustness in MTL and expressivity in hybrid system falsification
+Normal rank
@@ Property / cites work @@
+What’s Decidable about Weighted Automata?
@@ Property / cites work: What’s Decidable about Weighted Automata? / rank @@
+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 @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Shortest Path Problems on Discounted Cost Graphs
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Expressiveness and Closure Properties for Quantitative Languages
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Model Checking
@@ Property / cites work: Handbook of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifying conformance using the Skorokhod metric
+Normal rank
@@ Property / cites work @@
+Encyclopedia of Distances
@@ Property / cites work: Encyclopedia of Distances / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+Lipschitz Robustness of Finite-state Transducers
@@ Property / cites work: Lipschitz Robustness of Finite-state Transducers / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the minimum cycle mean in a digraph
+Normal rank
@@ Property / cites work @@
+Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
+Normal rank
@@ Property / cites work @@
+Robustness Analysis of String Transducers
@@ Property / cites work: Robustness Analysis of String Transducers / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2020.17
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2020.17 / rank @@
+Normal rank