The following pages link to (Q4426372):
Displayed 8 items.
- An extended framework for passive asynchronous testing (Q347402) (← links)
- Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic (Q860862) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Time window temporal logic (Q2402278) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Quantitative safety and liveness (Q6091203) (← links)
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications (Q6201592) (← links)