The following pages link to (Q4531751):
Displayed 17 items.
- Multi-valued model checking games (Q414899) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Weighted automata (Q2074206) (← links)
- Computation tree logic model checking based on multi-valued possibility measures (Q2213111) (← links)
- Beyond vacuity: towards the strongest passing formula (Q2248090) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- Inherent Vacuity in Lattice Automata (Q2947173) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- Don’t Know for Multi-valued Systems (Q3648707) (← links)
- Model Checking Quantitative Linear Time Logic (Q5415664) (← links)
- Lattice Automata (Q5452607) (← links)
- (Q5866338) (← links)
- Minimizing Deterministic Lattice Automata (Q5892175) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)