Research output per year
Research output per year
Search results
-
2021
Collaborative Overtaking of Multi-Vehicle Systems in Dynamic Environments: A Distributed Artificial Potential Field Approach
Xie, S., Hu, J., Ding, Z. & Arvin, F., 6 Dec 2021, 2021 20th International Conference on Advanced Robotics, ICAR 2021. p. 873-878 6 p. (2021 20th International Conference on Advanced Robotics, ICAR 2021).Research output: Chapter in Book/Conference proceeding › Chapter › peer-review
Open AccessFile216 Downloads (Pure) -
Theorem Proving Using Clausal Resolution: From Past to Present
Dixon, C., 22 Oct 2021, International Conference on Reachability Problems: RP 2021: Reachability Problems. p. 19-27 (Lecture Notes in Computer Science; vol. 13035).Research output: Chapter in Book/Conference proceeding › Chapter › peer-review