research
∙
04/22/2023
Fairness in Ranking Supermartingales
Lexicographic Ranking SuperMartingale (LexRSM) is a generalization of Ra...
share
research
∙
04/18/2023
Connectivity in the presence of an opponent
The paper introduces two player connectivity games played on finite bipa...
research
∙
02/16/2023
Learning Density-Based Correlated Equilibria for Markov Games
Correlated Equilibrium (CE) is a well-established solution concept that ...
research
∙
07/27/2022
Dynamic Shielding for Reinforcement Learning in Black-Box Environments
It is challenging to use reinforcement learning (RL) in cyber-physical s...
research
∙
07/15/2020
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
Solving stochastic games with the reachability objective is a fundamenta...
research
∙
08/10/2019
Large Scale Geometries of Infinite Strings
We introduce geometric consideration into the theory of formal languages...
research
∙
05/28/2018
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs
Computing reachability probabilities is a fundamental problem in the ana...
research
∙
05/28/2018