Login / Signup

Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications.

Jakub MichaliszynPiotr Witkowski
Published in: IJCAI (2019)
Keyphrases