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
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
Co-authors
10 total
Giovanni Agosta
Politecnico di Milano, Italy
Stefano Cherubin
NTNU
Francesco Pontiggia
Project Assistant, TU Wien
Roberta Gori
Universita' di Pisa
Ezio Bartocci
Faculty of Informatics, TU Wien
Luca Geatti
University of Udine
Filip Macák
PhD student at the Brno University of Technology
Nicola Gigante
Libera Università di Bolzano
