2 papers
cs.FL2025
Learning Formal Specifications from Membership and Preference Queries
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges +1
Active learning is a well-studied approach to learning formal specifications, such as automata. In this work, we extend active specification learning by proposing a novel framework…
cs.LO2024
Robust Almost-Sure Reachability in Multi-Environment MDPs
Marck van der Vegt, Nils Jansen, Sebastian Junges
Multiple-environment MDPs (MEMDPs) capture finite sets of MDPs that share the states but differ in the transition dynamics. These models form a proper subclass of partially observa…