Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic.

Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny

Browse the full DCAI paper archive.