Fabian, Martin

1. Supervisory Control Synthesis of Timed Automata Using Forcible Events
   2021/02/18 by Rashidinejad, Aida, Reniers, Michel, Fabian, Martin · 2 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Formal Development of Safe Automated Driving using Differential Dynamic Logic
   2022/04/14 by Yuvaraj Selvaraj, Selvaraj, Yuvaraj, Wolfgang Ahrendt +3 · 1 citation
   Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Modeling and Simulation Systems #Systems and Control (eess.SY) #electronic engineering #information engineering