|
Author:Paolo ZulianiPublications |
---|
Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani and Paolo Zuliani | |
KeyphrasesBounded Model Checking, control synthesis, formal verification, hybrid models, interval arithmetics, probabilistic model checking, probabilistic safety and reachability, Satisfiability Modulo Theory, simulations, statistical model checking, stochastic hybrid system, stochastic models. |
|
|