Keyword:FO logic

Publications
Explaining Traffic Situations – Architecture of a Virtual Driving Instructor Martin Sandberg, Johannes Rehm, Matěj Mňouček, Irina Reshodko and Odd Erik Gundersen EasyChair Preprint 3214