AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic.

Valentin Cassano, Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari

Browse the full TACAS paper archive.