Quantitative Model Checking of Knowledge.

Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza

Browse the full SoMeT paper archive.