Craig Innes

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 28

Top Topics

Simulation Model

Learning Process

Mazurkiewicz Traces

Top Venues

Publications

Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications. CoRR (2024)
Craig Innes, Subramanian Ramamoorthy
Adaptive Splitting of Reusable Temporal Monitors for Rare Traffic Violations. CoRR (2024)
Longfei Chen, Muhammad Ahmed Raza, Craig Innes, Subramanian Ramamoorthy, Robert B. Fisher
Unobtrusive Monitoring of Physical Weakness: A Simulated Approach. CoRR (2024)
Craig Innes, Subramanian Ramamoorthy
Testing Rare Downstream Safety Violations via Upstream Adaptive Sampling of Perception Error Models. ICRA (2023)
Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy
Anticipating Accidents through Reasoned Simulation. CoRR (2023)
Antonio Valerio Miceli Barone, Alex Lascarides, Craig Innes
Dialogue-based generation of self-driving simulation scenarios using Large Language Models. CoRR (2023)
Craig Innes, Andrew Ireland, Yuhui Lin, Subramanian Ramamoorthy
Anticipating Accidents through Reasoned Simulation. TAS (2023)
Michael Burke, Katie Lu, Daniel Angelov, Arturas Straizys, Craig Innes, Kartic Subr, Subramanian Ramamoorthy
Learning rewards from exploratory demonstrations using probabilistic temporal ranking. Auton. Robots 47 (6) (2023)
Anthony Corso, Sydney M. Katz, Craig Innes, Xin Du, Subramanian Ramamoorthy, Mykel J. Kochenderfer
Risk-Driven Design of Perception Systems. NeurIPS (2022)
Craig Innes, Subramanian Ramamoorthy
Automated Testing With Temporal Logic Specifications for Robotic Controllers Using Adaptive Experiment Design. ICRA (2022)
Craig Innes, Subramanian Ramamoorthy
Testing Rare Downstream Safety Violations via Upstream Adaptive Sampling of Perception Error Models. CoRR (2022)
Anthony L. Corso, Sydney M. Katz, Craig Innes, Xin Du, Subramanian Ramamoorthy, Mykel J. Kochenderfer
Risk-Driven Design of Perception Systems. CoRR (2022)
Manu Lahariya, Craig Innes, Chris Develder, Subramanian Ramamoorthy
Learning physics-informed simulation models for soft robotic manipulation: A case study with dielectric elastomer actuators. IROS (2022)
Luca Viano, Yu-Ting Huang, Parameswaran Kamalaruban, Craig Innes, Subramanian Ramamoorthy, Adrian Weller
Robust Learning from Observation with Model Misspecification. AAMAS (2022)
Manu Lahariya, Craig Innes, Chris Develder, Subramanian Ramamoorthy
Learning physics-informed simulation models for soft robotic manipulation: A case study with dielectric elastomer actuators. CoRR (2022)
Luca Viano, Yu-Ting Huang, Parameswaran Kamalaruban, Craig Innes, Subramanian Ramamoorthy, Adrian Weller
Robust Learning from Observation with Model Misspecification. CoRR (2022)
Craig Innes, Yordan Hristov, Georgios Kamaras, Subramanian Ramamoorthy
Automatic Synthesis of Experiment Designs from Probabilistic Environment Specifications. CoRR (2021)
Craig Innes, Subramanian Ramamoorthy
Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design. CoRR (2021)
Craig Innes, Subramanian Ramamoorthy
ProbRobScene: A Probabilistic Specification Language for 3D Robotic Manipulation Environments. ICRA (2021)
Craig Innes, Subramanian Ramamoorthy
Elaborating on Learned Demonstrations with Temporal Logic Specifications. Robotics: Science and Systems (2020)
Craig Innes, Subramanian Ramamoorthy
ProbRobScene: A Probabilistic Specification Language for 3D Robotic Manipulation Environments. CoRR (2020)
Craig Innes, Subramanian Ramamoorthy
Elaborating on Learned Demonstrations with Temporal Logic Specifications. CoRR (2020)
Michael Burke, Katie Lu, Daniel Angelov, Arturas Straizys, Craig Innes, Kartic Subr, Subramanian Ramamoorthy
Learning robotic ultrasound scanning using probabilistic temporal ranking. CoRR (2020)
Craig Innes, Alex Lascarides
Learning Factored Markov Decision Processes with Unawareness. CoRR (2019)
Craig Innes, Alex Lascarides
Learning Factored Markov Decision Processes with Unawareness. UAI (2019)
Craig Innes, Alex Lascarides
Learning Factored Markov Decision Processes with Unawareness. AAMAS (2019)
Craig Innes, Alex Lascarides
Learning Structured Decision Problems with Unawareness. ICML (2019)
Craig Innes, Alex Lascarides, Stefano V. Albrecht, Subramanian Ramamoorthy, Benjamin Rosman
Reasoning about Unforeseen Possibilities During Policy Learning. CoRR (2018)