Łukasz Mikulski | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Wojciech Jamroga
17 publications
Damian Kurpiewski
5 publications
David de Frutos Escrig
1 publication
Maciej Koutny
1 publication

research

∙ 03/02/2022

STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning

We present a substantially expanded version of our tool STV for strategy...

0 Damian Kurpiewski, et al. ∙

research

∙ 10/20/2021

Investigating Reversibility of Steps in Petri Nets

In reversible computations one is interested in the development of mecha...

0 David de Frutos Escrig, et al. ∙