( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Forward invariant cuts to simplify proofs of safety.

, , , , и . EMSOFT, стр. 227-236. IEEE, (2015)

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.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Другие публикации лиц с тем же именем

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems., , , , , , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 137-154. Springer, (2019)Model checking in-the-loop: Finding counterexamples by systematic simulation., , , , и . ACC, стр. 2734-2740. IEEE, (2008)Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles., , , и . HSCC, стр. 283-284. ACM, (2018)Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components., , , , и . IEEE Trans. Intell. Veh., 5 (2): 265-280 (2020)Reasoning about safety of learning-enabled components in autonomous cyber-physical systems., , , и . DAC, стр. 30:1-30:6. ACM, (2018)Verification of Supervisory Control Software Using State Proximity and Merging., , , и . HSCC, том 4981 из Lecture Notes in Computer Science, стр. 344-357. Springer, (2008)Underminer: a framework for automatically identifying non-converging behaviors in black box system models., , , , и . EMSOFT, стр. 7:1-7:10. ACM, (2016)Automatic Trace Generation for Signal Temporal Logic., , и . RTSS, стр. 208-217. IEEE Computer Society, (2018)Multiple shooting, CEGAR-based falsification for hybrid systems., , , и . EMSOFT, стр. 5:1-5:10. ACM, (2014)On incrementally bounded systems., и . ACC, стр. 6348-6350. IEEE, (2010)