Daniel Kasenberg. Inferring and Obeying Norms in Temporal Logic. In Takayuki Kanda, Selma Sabanovic, Guy Hoffman, Adriana Tapus, editors, Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2018, Chicago, IL, USA, March 05-08, 2018. pages 301-302, ACM, 2018. [doi]
Abstract is missing.