The language preservation problem is undecidable for parametric event-recording automata (Q1751409): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2018.03.013
@@ Property / DOI: 10.1016/j.ipl.2018.03.013 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2790850524
@@ Property / OpenAlex ID: W2790850524 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08948
@@ Property / arXiv ID: 1812.08948 / 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 @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+What’s Decidable About Parametric Timed Automata?
+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 @@
+Learning-Based Compositional Parameter Synthesis for Event-Recording Automata
+Normal rank
@@ Property / cites work @@
+Language Preservation Problems in Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130085686
@@ Property / Wikidata QID: Q130085686 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2018.03.013
@@ Property / DOI: 10.1016/J.IPL.2018.03.013 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1751409