Consistency in parametric interval probabilistic timed automata (Q2291816): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2019.04.007
@@ Property / DOI: 10.1016/j.jlamp.2019.04.007 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3098409019
@@ Property / OpenAlex ID: W3098409019 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04982
@@ Property / arXiv ID: 1906.04982 / 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 @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
@@ Property / cites work: AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the inverse method to probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Language Preservation Problems in Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Language Emptiness of Continuous-Time Parametric Timed Automata
+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 @@
+Decision problems for lower/upper bound parametric timed automata
+Normal rank
@@ Property / cites work @@
+Q5240149
@@ Property / cites work: Q5240149 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract probabilistic automata
@@ Property / cites work: Abstract probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency and refinement for interval Markov chains
+Normal rank
@@ Property / cites work @@
+Parameter Synthesis for Parametric Interval Markov Chains
+Normal rank
@@ Property / cites work @@
+Robust parametric reachability for timed automata
@@ Property / cites work: Robust parametric reachability for timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
+Normal rank
@@ Property / cites work @@
+Performance analysis of probabilistic timed automata using digital clocks
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
+Normal rank
@@ Property / cites work @@
+Q4953401
@@ Property / cites work: Q4953401 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127903467
@@ Property / Wikidata QID: Q127903467 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2019.04.007
@@ Property / DOI: 10.1016/J.JLAMP.2019.04.007 / rank @@
+Normal rank