| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| Bucciarelli, Antonio; Salvo, Ivano |
Totality, Definability and Boolean Circuits |
1998 |
|
Springer |
|
|
10.1007/BFb0055104 |
1443 |
808-819 |
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems |
2010 |
Computer Aided Verification |
Springer Berlin / Heidelberg |
|
|
10.1007/978-3-642-14295-6_20 |
|
180-195 |
| Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems |
2012 |
Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA |
IEEE |
|
978-1-4673-2065-8 |
10.1109/CDC.2012.6426260 |
|
6120-6125 |
| Tronci, Enrico |
Optimal Finite State Supervisory Control |
1996 |
CDC '96: Proceedings of the 35th IEEE International Conference on Decision and Control |
IEEE Computer Society |
|
|
10.1109/CDC.1996.572981 |
|
|
| Tronci, Enrico |
On Computing Optimal Controllers for Finite State Systems |
1997 |
CDC '97: Proceedings of the 36th IEEE International Conference on Decision and Control |
IEEE Computer Society |
|
|
|
|
|
| Böhm, Corrado; Tronci, Enrico |
X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper) |
1987 |
Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea |
|
|
|
|
|
|
| Cecconi, Michele; Tronci, Enrico |
Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher |
2000 |
Hase |
IEEE Computer Society |
0-7695-0927-4 |
|
10.1109/HASE.2000.895456 |
|
|
| Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Flexible Timeline-Based Plan Verification |
2009 |
KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings |
Springer |
978-3-642-04616-2 |
|
10.1007/978-3-642-04617-9_7 |
|
49-56 |
| Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico |
Validation and verification issues in a timeline-based planning system |
2010 |
The Knowledge Engineering Review |
Cambridge University Press |
|
|
10.1017/S0269888910000160 |
25 |
299-318 |
| Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa |
Exploiting Transition Locality in Automatic Verification |
2001 |
11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) |
Springer |
3-540-42541-1 |
|
10.1007/3-540-44798-9_22 |
|
259-274 |
