The following pages link to (Q4547769):
Displaying 14 items.
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- Guaranteed global performance through local coordinations (Q540161) (← links)
- Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435) (← links)
- Complexity and succinctness issues for linear-time hybrid logics (Q1044839) (← links)
- Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745) (← links)
- Sampling polynomial trajectories for LTL verification (Q2055964) (← links)
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions (Q2178216) (← links)
- Bounded model checking of infinite state systems (Q2369883) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- Weighted LTL with Discounting (Q2914725) (← links)
- Hybrid and First-Order Complete Extensions of CaRet (Q3010360) (← links)
- Two Variable vs. Linear Temporal Logic in Model Checking and Games (Q3090852) (← links)
- Compositional Failure Detection in Structured Transition Systems (Q5200059) (← links)
- Model Checking Quantitative Linear Time Logic (Q5415664) (← links)
