Author:
Krook Jonas,Malik Robi,Mohajerani Sahar,Fabian Martin
Funder
Knut och Alice Wallenbergs Stiftelse
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference21 articles.
1. Alternating refinement relations;Alur,1998
2. Discrete abstractions of hybrid systems;Alur;Proceedings of the IEEE,2000
3. Principles of model checking;Baier,2008
4. Formal methods for discrete-time dynamical systems;Belta,2017
5. Approximation metrics for discrete and continuous systems;Girard;IEEE Transactions on Automatic Control,2007