Kim G. Larsen
- Automata Learning meets Shielding
2022/12/04 by Martin Tappler, Stefan Pranger, Tappler, Martin +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Optimization and Search Problems #Reinforcement Learning in Robotics
- Language Emptiness of Continuous-Time Parametric Timed Automata
2015/04/29 by Nikola Beneš, Peter Bezděk, Beneš, Nikola +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
- Optimal and Robust Controller Synthesis: using Energy Timed Automata\n with Uncertainty
2018/05/02 by Giovanni Bacci, Patricia Bouyer, Bacci, Giovanni +9 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
2024/09/09 by Alessandro Cimatti, Thomas M. Grosen, Cimatti, Alessandro +7 · 1 voice · 2 citations
Engineering · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
2024/10/14 by Asger Horn Brorholt, Brorholt, Asger Horn, Kim G. Larsen +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)