Paper Info
Title
Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications.
Year
DOI
Venue
2019
10.24963/ijcai.2019/659
IJCAI
Field
DocType
Citations 
Discrete mathematics,Regular expression,Model checking,Computer science,Multi-agent system,Decidability,Theoretical computer science
Conference
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Jakub Michaliszyn115415.70
Piotr Witkowski2134.09