4 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Federica Adobbati, Luca Bernardinello, Lucia Pomello
We define a game on 1-safe Petri nets, where a user plays against an environment in order to reach a goal on the system. The goal is expressed through an LTL-X formula, and represe…