Author:Alessandro AbatePublications |
---|
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 | Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'Ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella | Alessandro Abate, Henk Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort and Abraham P. Vinod | | | | |
KeyphrasesBuilding Automation Systems, control synthesis2, formal verification, hybrid models, probabilistic model checking, probabilistic reachability analysis, probabilistic safety, probabilistic safety and reachability, simulation, simulations, statistical model checking, stochastic hybrid systems, stochastic models2, Thermal modelling. |
|