Certificates and Witnesses for Multi-objective ω-Regular Queries in Markov Decision Processes.

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klppelholz

Browse the full SEFM paper archive.