research
∙
08/14/2023
Omega-Regular Reward Machines
Reinforcement learning (RL) is a powerful approach for training agents t...
share
research
∙
04/06/2023
History-deterministic Timed Automata
We explore the notion of history-determinism in the context of timed aut...
research
∙
07/22/2022
Natural Colors of Infinite Words
While finite automata have minimal DFAs as a simple and natural normal f...
research
∙
06/23/2022
Recursive Reinforcement Learning
Recursion is the fundamental paradigm to finitely describe potentially i...
research
∙
05/06/2022
Alternating Good-for-MDP Automata
When omega-regular objectives were first proposed in model-free reinforc...
research
∙
05/02/2022
Smaller Progress Measures and Separating Automata for Parity Games
Calude et al. have recently shown that parity games can be solved in qua...
research
∙
03/11/2022
Enhancing Adversarial Training with Second-Order Statistics of Weights
Adversarial training has been shown to be one of the most effective appr...
research
∙
01/23/2022
Weight Expansion: A New Perspective on Dropout and Generalization
While dropout is known to be a successful regularization technique, insi...
research
∙
11/30/2021
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems
The increasing use of Machine Learning (ML) components embedded in auton...
research
∙
06/16/2021
Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Reinforcement learning synthesizes controllers without prior knowledge o...
research
∙
06/12/2021
Model-free Reinforcement Learning for Branching Markov Decision Processes
We study reinforcement learning for the optimal control of Branching Mar...
research
∙
06/02/2021
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles
The utilisation of Deep Learning (DL) is advancing into increasingly mor...
research
∙
04/20/2021
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Zielonka's classic recursive algorithm for solving parity games is perha...
research
∙
04/16/2021
Priority Promotion with Parysian Flair
We develop an algorithm that combines the advantages of priority promoti...
research
∙
04/13/2021
Detecting Operational Adversarial Examples for Reliable Deep Learning
The utilisation of Deep Learning (DL) raises new challenges regarding it...
research
∙
03/05/2021
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Intensive research has been conducted on the verification and validation...
research
∙
01/18/2021
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
We study stochastic games with energy-parity objectives, which combine q...
research
∙
10/12/2020
How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks
This paper studies the novel concept of weight correlation in deep neura...
research
∙
04/26/2019
Improving the complexity of Parys' recursive algorithm
Parys has recently proposed a quasi-polynomial version of Zielonka's rec...
research
∙
09/26/2018
Omega-Regular Objectives in Model-Free Reinforcement Learning
We provide the first solution for model-free reinforcement learning of ω...
research
∙
06/25/2018
Maximum Rooted Connected Expansion
Prefetching constitutes a valuable tool toward efficient Web surfing. As...
research
∙
05/15/2018
Accelerated Model Checking of Parametric Markov Chains
Parametric Markov chains occur quite naturally in various applications: ...
research
∙
04/17/2018
Parity Games with Weights
Quantitative extensions of parity games have recently attracted signific...
research
∙
04/05/2018
Incremental Verification of Parametric and Reconfigurable Markov Chains
The analysis of parametrised systems is a growing field in verification,...
research
∙
11/29/2017