Merkliste 
 1 Ergebnisse 
 
1

Model Checking Human-Agent Collectives for Responsible AI:

, In: 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN),