Personensuche
X
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
1
Deterministic Weighted Automata Under Partial Observability:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
3
"Most of" leads to undecidability: Failure of adding freque..:
, In:
?
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems ,
8
Verifying Multi-Agent Systems by Model Checking Three-value..:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
10
Decidable Elementary Modal Logics:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
11