Personensuche
X
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
1
Deterministic Weighted Automata Under Partial Observability:
, In:
?
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ,
9
Quantitative Automata under Probabilistic Semantics:
, In:
?
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
12
The Target Discounted-Sum Problem:
, In:
?
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
13
Nested Weighted Automata:
, In:
?
Proceedings of the 17th international conference on Hybrid systems: computation and control ,
14
Model measuring for hybrid systems:
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
15