Frederik Baymler Mathiesen

1. Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training
   2023/11/17 by Xinyu Wang, Luzia Knoedler, Wang, Xinyu +5 · 3 citations
   Computer Science · Medicine · Engineering · #Adversarial Robustness in Machine Learning #Cardiac Arrest and Resuscitation #Fault Detection and Control Systems
2. IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
   2024/01/08 by Frederik Baymler Mathiesen, Mathiesen, Frederik Baymler, Morteza Lahijanian +3 · 3 citations
   Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Data-Driven Permissible Safe Control with Barrier Certificates
   2024/04/30 by Rayan Mazouz, Mazouz, Rayan, John Skovbekk +9 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Robotics (cs.RO) #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering