The following pages link to (Q4817542):
Displaying 14 items.
- An extended framework for passive asynchronous testing (Q347402) (← links)
- Symbolic bounded synthesis (Q453535) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- \(\omega\)-regular languages are testable with a constant number of queries (Q706616) (← links)
- Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic (Q860862) (← links)
- Runtime verification with minimal intrusion through parallelism (Q888419) (← links)
- On satisficing in quantitative games (Q2044188) (← links)
- Runtime enforcement of hyperproperties (Q2147207) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
- Discriminative Model Checking (Q3512513) (← links)
- Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (Q5169969) (← links)
