Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Wallmeier, Nico
3  Ergebnisse:
Personensuche X
?
1

Observations on determinization of Büchi automata:

Althoff, Christoph Schulte ; Thomas, Wolfgang ; Wallmeier, Nico
Theoretical Computer Science.  363 (2006)  2 - p. 224-233 , 2006
Link: https://doi.org/10.1016/..
 
?
2

Optimal Strategy Synthesis for Request-Response Games:

Horn, Florian ; Thomas, Wolfgang ; Wallmeier, Nico.
http://arxiv.org/abs/1406.4648.  , 2014
Link: http://arxiv.org/abs/140..
 
?
3

Strategien in unendlichen Spielen mit Liveness-Gewinnbeding.. 

Syntheseverfahren, Optimierung und Implementierung 
Wallmeier, Nico , 2008
Link: http://d-nb.info/9880653..
 
1-3