Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications.

Joo G. Martins, Andr Platzer, Joo Leite

Browse the full ICFEM paper archive.