Pierluigi San Pietro | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Patricia Bouyer
24 publications
Claudio Menghi
13 publications
Matteo Rossi
8 publications
Andrea Orlandini
4 publications
Marcello M. Bersani
2 publications
Marcello Bersani
1 publication
Robert L. Smith
1 publication

research

∙ 04/26/2021

Improved Bounded Model Checking of Timed Automata

Timed Automata (TA) are a very popular modeling formalism for systems wi...

0 Robert L. Smith, et al. ∙

research

∙ 06/22/2018

A Flexible Approach for Checking Timed Automata on Continuous Time Semantics

Timed Automata (TA) are used to represent systems when the interest is t...

0 Claudio Menghi, et al. ∙

research

∙ 09/06/2017

Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification

This volume contains the proceedings of the Eighth International Symposi...

0 Patricia Bouyer, et al. ∙

Success!

An error occurred