research
∙
04/19/2023
The Krohn-Rhodes Logics
We present a new family of modal temporal logics of the past, obtained b...
share
research
∙
11/25/2022
Automata Cascades: Expressivity and Sample Complexity
Every automaton can be decomposed into a cascade of basic automata. This...
research
∙
04/29/2022
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes
Our work aims at developing reinforcement learning algorithms that do no...
research
∙
05/14/2021
Efficient PAC Reinforcement Learning in Regular Decision Processes
Recently regular decision processes have been proposed as a well-behaved...
research
∙
08/07/2018
The Window Validity Problem in Rule-Based Stream Reasoning
Rule-based temporal query languages provide the expressive power and fle...
research
∙
11/10/2017
Stream Reasoning in Temporal Datalog
In recent years, there has been an increasing interest in extending trad...
research
∙
07/23/2015