Pages that link to "Item:Q5168514"
From MaRDI portal
The following pages link to Deciding Continuous-Time Metric Temporal Logic with Counting Modalities (Q5168514):
Displaying 6 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- A logical characterization of timed regular languages (Q728264) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling (Q3511237) (← links)
- Model-Checking Counting Temporal Logics on Flat Structures (Q5111643) (← links)
- Counting Models of Linear-Time Temporal Logic (Q5404927) (← links)