Merkliste 
 1 Ergebnisse 
 
1

Temporal logic planning in uncertain environments with prob..:

, In: 2019 IEEE 58th Conference on Decision and Control (CDC),
Haesaert, S. ; Thakker, R. ; Nilsson, R.. - p. 6282-6287 , 2019