Jiří Srba | DeepAI

DeepAI

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

Featured Co-authors

Kim Guldstrand Larsen
8 publications
Peter Gjøl Jensen
5 publications
Marco Mũniz
3 publications
Frederik Meyer Bønneland
2 publications
Alexander Bilgram
1 publication
Peter G. Jensen
1 publication
Thomas Pedersen
1 publication
Peter H. Taankvist
1 publication

research

∙ 04/12/2022

Methods for Efficient Unfolding of Colored Petri Nets

Colored Petri nets offer a compact and user friendly representation of t...

0 Alexander Bilgram, et al. ∙

research

∙ 12/20/2019

Stubborn Set Reduction for Two-Player Reachability Games

Partial order reductions have been successfully applied to model checkin...

0 Frederik Meyer Bønneland, et al. ∙