Boker, Udi
- Discounting in LTL
2014/06/17 by Shaull Almagor, Almagor, Shaull, Udi Boker +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
- History Determinism vs. Good for Gameness in Quantitative Automata
2021/10/27 by Boker, Udi, Lehtinen, Karoliina · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)