Backward symbolic optimal reachability in weighted timed automata (Q1996010): Difference between revisions

@@ Property / author @@
-Didier Lime
@@ Property / author: Didier Lime / rank @@
-Normal rank
@@ Property / author @@
+Didier Lime
@@ Property / author: Didier Lime / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-57628-8_3
+Normal rank
@@ Property / OpenAlex ID @@
+W3080407957
@@ Property / OpenAlex ID: W3080407957 / 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 @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of time Petri nets
@@ Property / cites work: The expressive power of time Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal reachability in cost time Petri nets
@@ Property / cites work: Optimal reachability in cost time Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418686
@@ Property / cites work: Q4418686 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Symbolic Optimal Reachability in Weighted Timed Automata
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Dependency Graphs and Their Application to Model Checking
+Normal rank
@@ Property / cites work @@
+State space computation and analysis of Time Petri Nets
+Normal rank
@@ Property / cites work @@
+Better abstractions for timed automata
@@ Property / cites work: Better abstractions for timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551180
@@ Property / cites work: Q4551180 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking for real-time systems
@@ Property / cites work: Model-checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+On using priced timed automata to achieve optimal scheduling
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1996010