Вы здесь

Главная

branching time

Связанные издания:

Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-Agent Systems
Real arithmetic based verification of prioritized time Perti nets with parameters