SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems.

Agnieszka M. Zbrzezny, Andrzej Zbrzezny

Browse the full AICCSA paper archive.