Roberto Cavada

ITC-irst Povo , Trento , Italy

1 paper in the IJCAI proceedings

IJCAI 2003

Formal Verification of Diagnosability via Symbolic Model Checking

with Alessandro Cimatti, Charles Pecheur

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings