( en | de | ru )

 

Disambiguation of "Tomlin, Claire"

Author of the publication

copydeleteadd this publication to your clipboard
Fast Neural Network Verification via Shadow Prices

, , , and . (2019)cite arxiv:1902.07247.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claire Eschbach

Claire Hunkeler

Claire Kieser

Claire Monteleoni

Claire Ingram

 

Other publications of authors with the same name

Fast Neural Network Verification via Shadow Prices, , , and . (2019)cite arxiv:1902.07247.Computing Reachable Sets for Continuous Dynamic Games using Level Set Methods, , and . IEEE Transactions on Automatic Control, 50 (7): 947--957 (2005)Model Comparison of a Data-Driven and a Physical Model for Simulating HVAC Systems., , and . CoRR, (2016)One-shot computation of reachable sets for differential games., , , and . HSCC, page 183-192. ACM, (2013)Mobile Sensor Network Control Using Mutual Information Methods and Particle Filters., and . IEEE Trans. Automat. Contr., 55 (1): 32-47 (2010)Design and Analysis of Hybrid Systems, with Applications to Robotic Aerial Vehicles., , , and . ISRR, volume 70 of Springer Tracts in Advanced Robotics, page 139-149. Springer, (2009)Technical Report: Adaptive Control for Linearizable Systems Using On-Policy Reinforcement Learning., , , , , and . CoRR, (2020)Encoding Defensive Driving as a Dynamic Nash Game., , and . CoRR, (2020)Toward Distributed Energy Services: Decentralizing Optimal Power Flow With Machine Learning., , , , , and . IEEE Trans. Smart Grid, 11 (2): 1296-1306 (2020)Multi-Hypothesis Interactions in Game-Theoretic Motion Planning., , , and . CoRR, (2020)