|
Author:Paolo ZulianiPublications |
---|
Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen and Paolo Zuliani |
Keyphrasescontrol synthesis, formal verification, Markov chains, Markov Decision Processes, stochastic models. |
|
|