SMT-Based Bounded Model Checking for Weighted Epistemic ECTL.

Agnieszka M. Zbrzezny, Bozena Wozna-Szczesniak, Andrzej Zbrzezny

Browse the full EPIA paper archive.