Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Automata-Theoretic Verification of Interval Markov Decision Processes
Sarvin Bahmani, Soumyajit Paul, Sven Schewe +2
Interval Markov decision processes (IMDPs) provide a natural framework for modeling stochastic systems with uncertain transition probabilities, represented by probability intervals…
cs.FL2025
Resolving Nondeterminism by Chance
Soumyajit Paul, David Purser, Sven Schewe +3
History-deterministic automata are those in which nondeterministic choices can be correctly resolved stepwise: there is a strategy to select a continuation of a run given the next…