Michal Ajdarów | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Petr Novotný
23 publications
Antonin Kucera
16 publications
Šimon Brlej
1 publication

research

∙ 11/28/2022

Shielding in Resource-Constrained Goal POMDPs

We consider partially observable Markov decision processes (POMDPs) mode...

0 Michal Ajdarów, et al. ∙

research

∙ 02/13/2021

Deciding Polynomial Termination Complexity for VASS Programs

We show that for every fixed k≥ 3, the problem whether the termination/c...

0 Michal Ajdarów, et al. ∙