Balachander, Mrudula
- LTL Reactive Synthesis with a Few Hints
2023/01/25 by Mrudula Balachander, Balachander, Mrudula, Emmanuel Filiot +3 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning and Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering #semigroups and automata theory