The following pages link to A really temporal logic (Q4299300):
Displaying 50 items.
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- A fuzzy real-time temporal logic (Q2353964) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Time window temporal logic (Q2402278) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Parameterized model checking of weighted networks (Q2447757) (← links)
- STL*: extending signal temporal logic with signal-value freezing operator (Q2453214) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- Model checking restricted sets of timed paths (Q2503042) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Decidable first-order transition logics for PA-processes (Q2575856) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Monitoring metric first-order temporal properties (Q2796403) (← links)
- On Freeze LTL with Ordered Attributes (Q2811345) (← links)
- Model-checking CTL* over flat Presburger counter systems (Q2901199) (← links)
- Metric temporal reasoning with less than two clocks (Q2901203) (← links)
- On interactive knowledge with bounded communication (Q2901218) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES (Q3021942) (← links)
- THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS (Q3021995) (← links)
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (Q3090822) (← links)
- Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840) (← links)
- The Complexity of Reversal-Bounded Model-Checking (Q3172883) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- (Q3384889) (← links)
- (Q3384890) (← links)
- Path Checking for MTL and TPTL over Data Words (Q3451113) (← links)
- Some Recent Results in Metric Temporal Logic (Q3543284) (← links)
- Completeness Results for Memory Logics (Q3605517) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
- Realizability of Real-Time Logics (Q3648828) (← links)
- Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
- An interval-based temporal algebra based on binary encoding of point relations (Q4506253) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- Tomorrow’s Sea-Battle and the Beginning of Temporal Logic (Q4611678) (← links)
- Automatic synthesis of real time systems (Q4645208) (← links)
- A Real-time Semantics of Temporal Logic of Actions (Q4812321) (← links)
- Property-Based Testing for Spark Streaming (Q4957189) (← links)
- (Q4972740) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- (Q5028468) (← links)
- A propositional dense time logic (Q5044765) (← links)
- Temporal Logic for Programmable Logic Controllers (Q5060076) (← links)
- A temporal logic for modelling activities of daily living (Q5079785) (← links)
- A temporal logic for real-time partial-ordering with named transactions (Q5096355) (← links)
- (Q5111621) (← links)
- (Q5129940) (← links)
- What good are digital clocks? (Q5204346) (← links)
