Satisfiability checking for mission-time \textsf{LTL} (MLTL) (Q2105410): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2022.104923
+Normal rank
@@ Property / OpenAlex ID @@
+W4281812495
@@ Property / OpenAlex ID: W4281812495 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Synthesizing Non-Vacuous Systems
@@ Property / cites work: Synthesizing Non-Vacuous Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+An SMT-based approach to satisfiability checking of MITL
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints
+Normal rank
@@ Property / cites work @@
+More scalable LTL model checking via discovering design-space dependencies \((D^3)\)
+Normal rank
@@ Property / cites work @@
+Some Recent Results in Metric Temporal Logic
@@ Property / cites work: Some Recent Results in Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving for metric temporal logic over the naturals
+Normal rank