www.prismmodelchecker.org
[TAL22] Anne Theurkauf, Nisar Ahmed and Morteza Lahijanian. Pareto Optimal Strategies for Event-triggered Estimation. In Proc. IEEE 61st Conference on Decision and Control (CDC'22). 2022. [Proposes techniques for analysing resource-performance trade-offs in a distributed sensor network using PRISM and PRISM-games.]
Links: [Google] [Google Scholar]

Publications