Anna Ingólfsdóttir

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. Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)
   2021/10/06 by Giovanni Bacci, Anna Ingólfsdóttir, Bacci, Giovanni +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Algorithms #Petri Nets in System Modeling #Software Reliability and Analysis Research