Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design

16 September 2021

Papers citing "Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design"

2 / 2 papers shown

Title
A Compositional Object-Based Approach to Learning Physical Dynamics Michael Chang T. Ullman Antonio Torralba J. Tenenbaum AI4CE OCL 236 438 0 01 Dec 2016
Interaction Networks for Learning about Objects, Relations and Physics Peter W. Battaglia Razvan Pascanu Matthew Lai Danilo Jimenez Rezende Koray Kavukcuoglu AI4CE OCL PINN GNN 278 1,400 0 01 Dec 2016