( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Perception Contracts for Safety of ML-Enabled Systems.

, , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 2196-2223 (октября 2023)

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.

Madhusudan Govind Kher

P Gumbsch

P Schmitt

P Hoppmann

-P Comes

 

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

Deciding Memory Safety for Forest Datastructures., , , , и . CoRR, (2019)Decidable Synthesis of Programs with Uninterpreted Functions., , , , и . CoRR, (2019)NetGen: synthesizing data-plane configurations for network policies., , и . SOSR, стр. 17:1-17:6. ACM, (2015)Software model checking using languages of nested trees., , и . ACM Trans. Program. Lang. Syst., 33 (5): 15:1-15:45 (2011)Adding nesting structure to words., и . J. ACM, 56 (3): 16:1-16:43 (2009)Query Automata for Nested Words., и . MFCS, том 5734 из Lecture Notes in Computer Science, стр. 561-573. Springer, (2009)Perturbed Timed Automata., , и . HSCC, том 3414 из Lecture Notes in Computer Science, стр. 70-85. Springer, (2005)Learning formulas in finite variable logics., и . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)Perception Contracts for Safety of ML-Enabled Systems., , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 2196-2223 (октября 2023)Modular Strategies for Infinite Games on Recursive Graphs., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 67-79. Springer, (2003)