51 citations · 233 across the 33 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2020★ 1 cited
Online Monitoring -Regular Properties in Unknown Markov Chains
Javier Esparza, Stefan Kiefer, Jan Kretinsky +1
We study runtime monitoring of -regular properties. We consider a simple setting in which a run of an unknown finite-state Markov chain is monitored against a fixed…
cs.FL2020★ 15 cited
Automata Tutor v3
Loris D'Antoni, Martin Helfrich, Jan Kretinsky +2
Computer science class enrollments have rapidly risen in the past decade. With current class sizes, standard approaches to grading and providing personalized feedback are no longer…