Diagnosers and Diagnosability of Succinct Transition Systems.

Jussi Rintanen

Browse the full IJCAI paper archive.