Pierre-Alain Reynier
- From Two-Way to One-Way Finite State Transducers
2013/01/22 by Emmanuel Filiot, Olivier Gauwin, Filiot, Emmanuel +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.FL #cs.LO
- 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