Scholar
Michele Chiari
Google Scholar ID: RUhhArgAAAAJ
Postdoc, TU Wien
Formal Languages
Model Checking
Temporal Logic
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
330
H-index
11
i10-index
12
Publications
20
Co-authors
14
list available
Contact
No contact links provided.
Publications
4 items
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
2026
Cited
0
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
2025
Cited
0
Decentralized Planning Using Probabilistic Hyperproperties
2025
Cited
0
POPACheck: a Model Checker for probabilistic Pushdown Automata
2025
Cited
0
Resume (English only)
Co-authors
14 total
Giovanni Agosta
Politecnico di Milano, Italy
Co-author 2
Co-author 3
Stefano Cherubin
NTNU
Francesco Pontiggia
Project Assistant, TU Wien
Co-author 6
Co-author 7
Roberta Gori
Universita' di Pisa
