Piterman, Nir
- Full LTL Synthesis over Infinite-state Arenas
2023/07/19 by Azzopardi, Shaun, Nir Piterman, Di Stefano, Luca +3 · 3 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering