150 citations · 174 across the 4 of their papers we have counts for
4 papers
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Peter Bulychev, Alexandre David, Kim Gulstrand Larsen +4
This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of netwo…
Controllers with Minimal Observation Power (Application to Timed Systems)
Peter Bulychev, Franck Cassez, Alexandre David +3
We consider the problem of controller synthesis under imperfect information in a setting where there is a set of available observable predicates equipped with a cost function. The…
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
Peter Bulychev, Alexandre David, Kim G. Larsen +2
This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to…
Distributed Parametric and Statistical Model Checking
Peter Bulychev, Alexandre David, Kim Guldstrand Larsen +2
Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if th…