Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Federica Adobbati
14  Ergebnisse:
Personensuche X
?
1

Computing a Parametric Reveals Relation For Bounded Equal-C..:

, In: Transactions on Petri Nets and Other Models of Concurrency XVII; Lecture Notes in Computer Science,
Adobbati, Federica ; Bernardinello, Luca ; Kılınç Soylu, Görkem. - p. 54-83 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Implementable Strategies for a Two-Player Asynchronous Game..:

, In: Transactions on Petri Nets and Other Models of Concurrency XVII; Lecture Notes in Computer Science,
Adobbati, Federica ; Bernardinello, Luca ; Pomello, Lucia. - p. 189-211 , 2023
Link: https://doi.org/10.1007/..
 
?
3

A Finite Prefix for Analyzing Information Flow Among Transi..:

Adobbati, Federica ; Soylu, Gorkem Kilinc ; Aubel, Adrian Puerto
IEEE Access.  10 (2022)  - p. 38483-38501 , 2022
Link: https://doi.org/10.1109/..
 
?
4

A Two-Player Asynchronous Game on Fully Observable Petri Ne..:

, In: Transactions on Petri Nets and Other Models of Concurrency XV; Lecture Notes in Computer Science,
Adobbati, Federica ; Bernardinello, Luca ; Pomello, Lucia - p. 126-149 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Stability of Regional Orthomodular Posets Under Synchronisa..:

, In: Transactions on Petri Nets and Other Models of Concurrency XV; Lecture Notes in Computer Science,
Adobbati, Federica ; Ferigato, Carlo ; Gandelli, Stefano. - p. 50-74 , 2021
Link: https://doi.org/10.1007/..
 
?
6

A Finite Prefix for Analyzing Information Flow Among Transi..:

Federica Adobbati ; Gorkem Kilinc Soylu ; Adrian Puerto Aubel
https://ieeexplore.ieee.org/document/9750090/.  , 2022
Link: https://doi.org/10.1109/..
 
?
7

Formal analysis of information flow and control properties ..:

ADOBBATI, FEDERICA
https://hdl.handle.net/10281/414504.  , 2023
Link: https://hdl.handle.net/1..
 
?
8

Analysing Multi-Agent Systems using 1-safe Petri Nets:

Adobbati, Federica ; Mikulski, Łukasz
http://arxiv.org/abs/2310.19507.  , 2023
Link: http://arxiv.org/abs/231..
 
?
9

Looking for winning strategies in two-player games on Petri..:

Adobbati, Federica ; Bernardinello, Luca ; Pomello, Lucia
http://arxiv.org/abs/2204.01603.  , 2022
Link: http://arxiv.org/abs/220..
 
?
10

A Finite Prefix for Analyzing Information Flow Among Transi..:

Adobbati, Federica ; Soylu, Gorkem Kilinc ; Aubel, Adrian Puerto
https://research.rug.nl/en/publications/d6cde951-4b7a-428a-8f1e-bcd5c97a79a4.  , 2022
Link: https://hdl.handle.net/1..
 
?
11

Asynchronous games on Petri nets and ATL:

Adobbati, Federica ; Bernardinello, Luca ; Pomello, Lucia
http://arxiv.org/abs/2107.06866.  , 2021
Link: http://arxiv.org/abs/210..
 
?
12

Two Operations for Stable Structures of Elementary Regions ..:

Adobbati, Federica ; Ferigato, Carlo ; Gandelli, Stefano.
hal-02337628.  , 2019
Link: https://inria.hal.scienc..
 
?
13

Two Operations for Stable Structures of Elementary Regions ..:

Adobbati, Federica ; Ferigato, Carlo ; Gandelli, Stefano.
hal-02337628.  , 2019
Link: https://hal.inria.fr/hal..
 
?
14

Two Operations for Stable Structures of Elementary Regions ..:

Adobbati, Federica ; Ferigato, Carlo ; Gandelli, Stefano.
hal-02337628.  , 2019
Link: https://inria.hal.scienc..
 
1-14