CTL Model Checking Partially Specified Systems.

Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu

Browse the full IFM paper archive.