Bohy, Aaron
- Synthesis from LTL Specifications with Mean-Payoff Objectives
2012/10/11 by Aaron Bohy, Véronique Bruyère, Bohy, Aaron +5 · 1 citation
Computer Science · Engineering · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #cs.GT #cs.LO