Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking.

Norihiro Kamide, Noriko Yamamoto

Browse the full ICAART paper archive.