Richard Peifer

According to our database, Richard Peifer authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Tᴏᴏʟ: accessible automated reasoning for human robot collaboration.

Ivan Gavran, Ortwin Mailahn, Rainer Müller, Richard Peifer, Damien Zufferey

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018