Michael Fisher
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Monodic fragments of probabilistic first-order temporal logic with bounded semantics Theoretical Computer Science | 2025-06-13 | Paper |
| Bridging the gap between single- and multi-model predictive runtime verification Formal Methods in System Design | 2023-06-29 | Paper |
| Correction to: ``Parameterized verification of leader/follower systems via first-order temporal logic'' Formal Methods in System Design | 2023-05-08 | Paper |
| Combined model checking for temporal, probabilistic, and real-time logics Theoretical Computer Science | 2014-09-02 | Paper |
| Temporal logics of knowledge and their applications in security Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
| Automated game analysis via probabilistic model checking: a case study | 2013-10-07 | Paper |
| Using agent JPF to build models for other model checkers Lecture Notes in Computer Science | 2013-10-04 | Paper |
| Agent deliberation in an executable temporal framework Journal of Applied Logic | 2012-10-16 | Paper |
Research outcomes over time
This page was built for person: Michael Fisher
