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 more- Papers 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
