Login / Signup
Susanna Donatelli
ORCID
Publication Activity (10 Years)
Years Active: 1986-2024
Publications (10 Years): 27
Top Topics
Model Checker
Cognitive Systems
Decision Diagrams
Markov Decision
Top Venues
Petri Nets
QEST
Bioinform.
VALUETOOLS
</>
Publications
</>