HRELTL: a temporal logic for hybrid systems (Q897648): 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.1016/j.ic.2015.06.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1025423628
@@ Property / OpenAlex ID: W1025423628 / 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 @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Viewpoint Contract-Based Specification and Design
+Normal rank
@@ Property / cites work @@
+Linear Encodings of Bounded LTL Model Checking
@@ Property / cites work: Linear Encodings of Bounded LTL Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Requirements Validation for Hybrid Systems
@@ Property / cites work: Requirements Validation for Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification in continuous time by discrete reasoning
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+What good are digital clocks?
@@ Property / cites work: What good are digital clocks? / rank @@
+Normal rank
@@ Property / cites work @@
+Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Implementation of Alternating Automata
@@ Property / cites work: Symbolic Implementation of Alternating Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Dynamic Logic for Verifying Parametric Hybrid Systems
+Normal rank
@@ Property / cites work @@
+On the decidability of continuous time specification formalisms
+Normal rank
@@ Property / cites work @@
+Abstractions for hybrid systems
@@ Property / cites work: Abstractions for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
+Normal rank
@@ Property / Wikidata QID @@
+Q62041125
@@ Property / Wikidata QID: Q62041125 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/iandc/CimattiRT15
@@ Property / DBLP publication ID: journals/iandc/CimattiRT15 / rank @@
+Normal rank