( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Supervisory Control Software Using State Proximity and Merging.

, , , и . HSCC, том 4981 из Lecture Notes in Computer Science, стр. 344-357. Springer, (2008)

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

 

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

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components., , , , и . IEEE Trans. Intell. Veh., 5 (2): 265-280 (2020)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)Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper., , , и . ICCAD, стр. 1-7. ACM, (2019)On incrementally bounded systems., и . ACC, стр. 6348-6350. IEEE, (2010)Multiple shooting, CEGAR-based falsification for hybrid systems., , , и . EMSOFT, стр. 5:1-5:10. ACM, (2014)Automatic Trace Generation for Signal Temporal Logic., , и . RTSS, стр. 208-217. IEEE Computer Society, (2018)Falsification of Cyber-Physical Systems with Constrained Signal Spaces., , , , , и . NFM, том 12229 из Lecture Notes in Computer Science, стр. 420-439. Springer, (2020)Forward invariant cuts to simplify proofs of safety., , , , и . EMSOFT, стр. 227-236. IEEE, (2015)