Keyword:control theory

Publications
ARCH-COMP21 Category Report: Stochastic Models Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman and Paolo Zuliani In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Verification of Collision Avoidance for CommonRoad Traffic Scenarios Niklas Kochdumper, Philipp Gassert and Matthias Althoff In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Theory of System Excitation and System Response in Linear Systems. Frank Appiah EasyChair Preprint 7054