Lehtinen, Karoliina

1. An Operational Guide to Monitorability
   2019/06/03 by Luca Aceto, Antonis Achilleos, Aceto, Luca +7 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Security and Verification in Computing
2. 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)
3. On the size of good-for-games Rabin automata and its link with the memory in Muller games
   2022/04/24 by Casares, Antonio, Colcombet, Thomas, Lehtinen, Karoliina · 1 citation
   #68Q45 #F.1.1 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)