On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections (Q3172853): Difference between revisions

@@ 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-642-24310-3_16
+Normal rank
@@ Property / OpenAlex ID @@
+W138580033
@@ Property / OpenAlex ID: W138580033 / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Q5190775
@@ Property / cites work: Q5190775 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Synthesizing Controllers from Bounded-Response Properties
+Normal rank
@@ Property / cites work @@
+From Mtl to Deterministic Timed Automata
@@ Property / cites work: From Mtl to Deterministic Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of MTL with Past Operators
@@ Property / cites work: On the Expressiveness of MTL with Past Operators / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3172853