Craig Innes
- Learning physics-informed simulation models for soft robotic manipulation: A case study with dielectric elastomer actuators
2022/02/25 by Manu Lahariya, Craig Innes, Lahariya, Manu +5 · 1 citation
Engineering · #Dielectric materials and actuators #Advanced Sensor and Energy Harvesting Materials #Ferroelectric and Negative Capacitance Devices
- Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design
2021/09/16 by Craig Innes, Subramanian Ramamoorthy, Innes, Craig +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning and Algorithms #Robotics (cs.RO) #Software Testing and Debugging Techniques