Kiebel, Stefan J.
259  results:
Search for persons X
?
7

Strategy Synthesis in Markov Decision Processes Under Limit..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
 
?
8

Towards a Formal Account on Negative Latency:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
 
1-15