The following pages link to Michael Fisher (Q6102168):
Displaying 7 items.
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Agent deliberation in an executable temporal framework (Q456706) (← links)
- Using Agent JPF to Build Models for Other Model Checkers (Q2851976) (← links)
- Automated game analysis via probabilistic model checking: a case study (Q2852033) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- Correction to: ``Parameterized verification of leader/follower systems via first-order temporal logic'' (Q6102169) (← links)
- Bridging the gap between single- and multi-model predictive runtime verification (Q6108431) (← links)
