Federica Adobbati

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 15

Top Topics

Information Flow

Partial Observability

Top Venues

Trans. Petri Nets Other Model. Concurr.

PNSE@Petri Nets

Publications

Federica Adobbati, Luca Bernardinello, Lucia Pomello
Solving a Safety Game on the Unfolding of Safe Petri Nets. PNSE@Petri Nets (2023)
Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello
Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Federica Adobbati, Lukasz Mikulski
Analysing Multi-Agent Systems using 1-safe Petri Nets. CoRR (2023)
Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. ATAED@Petri Nets (2022)
Federica Adobbati, Luca Bernardinello, Görkem Kilinç Soylu, Lucia Pomello
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets. PNSE@Petri Nets (2022)
Federica Adobbati, Görkem Kilinç Soylu, Adrián Puerto Aubel
A Finite Prefix for Analyzing Information Flow Among Transitions of a Free-Choice Net. IEEE Access 10 (2022)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Looking for winning strategies in two-player games on Petri nets with partial observability. CoRR (2022)
Federica Adobbati, Lukasz Mikulski
Analysing Multi-Agent Systems using 1-safe Petri Nets. PNSE@Petri Nets (2022)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Asynchronous games on Petri nets and ATL. CoRR (2021)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
A Two-Player Asynchronous Game on Fully Observable Petri Nets. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
Asynchronous Games on Petri Nets and Partial Order. ICTCS (2019)
Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel
Two Operations for Stable Structures of Elementary Regions. ATAED@Petri Nets/ACSD (2019)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
An Asynchronous Game on Distributed Petri Nets. PNSE@Petri Nets/ACSD (2019)