Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking.

Agnieszka M. Zbrzezny, Andrzej Zbrzezny

Browse the full PRIMA paper archive.