TACAS paper accepted (Arnd Hartmanns)Title: A Practitioner's Guide to MDP Model Checking Algorithms
Authors:
* Arnd Hartmanns (University of Twente)
* Sebastian Junges (Radboud University Nijmegen)
* Tim Quatmann (RWTH Aachen University)
* Maximilian Weininger (Technical University of Munich)Read morePapers accepted (Moritz Hahn)Conference: TACAS 2023
Title: Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning
Authors: Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi and Dominik Wojtczak
Abstract: Mungojerrie is an extensible tool that provides a frame-work to translate linear-time objectives into reward for reinforcement learning (RL). The tool provides convergent RL algorithms for stochastic games, reference implementations of existing reward translations for ω-regular objectives, and an internal probabilistic model checker for ω-regular objectives. This functionality is modular and operates on shared data structures, which enables fast development of new translation techniques. Mungojerrie supports finite models specified in PRISM and ω-automata specified in the HOA format, with an integrated command line interface to external linear temporal logic translators. Mungojerrie is distributed with a set of benchmarks for ω-regular objectives in RL.Read more
TACAS paper accepted (Arnd Hartmanns)
Papers accepted (Moritz Hahn)
Marielle Stoelinga acquired new project on Smart Diagnostics
Marieke Huisman Board member IPN
Marielle Stoelinga temporarily appointed Scientific Director Life Long Learning (LLL)
NWO M-1 grant 'VESPA' has been granted to Peter Lammich
Best Artefact Award at ICSME 2022
Paper accepted: 'PFL: a Probabilistic Logic for Fault Trees'
Paper accepted: VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs
Welcome to two new FMT members: Wangyi Shang and Linpeng Zhang
Hajo Molegraaf FMT's new Research Fellow
Marielle Stoelinga wins award for 20-year-old scientific publication