Mark Post

According to our database, Mark Post authored at least 2 papers between 2019 and 2024.

Collaborative distances:

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

2024

Brownian Motion in Isabelle/HOL.

Christian Pardillo Laursen, Simon Foster, Mark Post

CoRR, 2024

2019

Collaborative mobile industrial manipulator: A review of system architecture and applications.

Manman Yang, Erfu Yang, Remi Christophe Zante, Mark Post, Xuefeng Liu

Proceedings of the 25th International Conference on Automation and Computing, 2019