Larsen, Kim G.
- Weighted Modal Transition Systems
2012/10/20 by Bauer, Sebastian S., Fahrenberg, Uli, Juhl, Line +3 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Language Emptiness of Continuous-Time Parametric Timed Automata
2015/04/29 by Nikola Beneš, Beneš, Nikola, Peter Bezděk +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)
- Timed I/O Automata: It is never too late to complete your timed specification theory
2023/02/09 by Goorden, Martijn A., Larsen, Kim G., Legay, Axel +3 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE)