Bacci, Giovanni

1. Optimal and Robust Controller Synthesis: using Energy Timed Automata\n with Uncertainty
   2018/05/02 by Giovanni Bacci, Bacci, Giovanni, Patricia Bouyer +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
2. Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)
   2021/10/06 by Giovanni Bacci, Anna Ingólfsdóttir, Bacci, Giovanni +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Algorithms #Petri Nets in System Modeling #Software Reliability and Analysis Research