Michael McDougall

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 3

Top Topics

Quadruped Robot

Top Venues

Publications

Arun Niddish Mahendran, Caitlin Freeman, Alexander H. Chang, Michael McDougall, Patricio A. Vela, Vishesh Vikas
Multi-gait Locomotion Planning and Tracking for Tendon-actuated Terrestrial Soft Robot (TerreSoRo). CoRR (2023)
Arun Niddish Mahendran, Caitlin Freeman, Alexander H. Chang, Michael McDougall, Patricio A. Vela, Vishesh Vikas
Multi-Gait Locomotion Planning and Tracking for Tendon-Actuated Terrestrial Soft Robot (TerreSoRo). IROS (2023)
Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall
Monitoring Assumptions in Assume-Guarantee Contracts. PrePost@IFM (2016)
Michael McDougall, Rajeev Alur, Carl A. Gunter
A model-based approach to integrating security policies for embedded devices. EMSOFT (2004)
Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur
Predictable programs in barcodes. CASES (2002)
Rajeev Alur, Michael McDougall, Zijiang Yang
Exploiting Behavioral Hierarchy for Efficient Model Checking. CAV (2002)
Rajeev Alur, Radu Grosu, Michael McDougall
Efficient Reachability Analysis of Hierarchical Reactive Machines. CAV (2000)
Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim
Certificate Distribution with Local Autonomy. IWAN (2000)