|
Author:Lisa WillemsenPublications |
---|
Alessandro Abate, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani and Lisa Willemsen |
Keyphrasescontrol synthesis, formal verification, Markov chains, Markov Decision Processes, stochastic models. |
|
|