( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TeLEx: learning signal temporal logic from positive examples using tightness metric.

, , , , и . Formal Methods Syst. Des., 54 (3): 364-387 (2019)

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.

Kasyap Natarajan

Paruthiure Natarajan

Natarajan Thiagarajan

Arupon Natarajan

Shankar Vembu

 

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

Proof Search (Tutorial)., и . ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (1994)The verified software initiative: A manifesto., , , и . ACM Comput. Surv., 41 (4): 22:1-22:8 (2009)PVS: A Prototype Verification System., , и . CADE, том 607 из Lecture Notes in Computer Science, стр. 748-752. Springer, (1992)Proof Search in the Intuitionistic Sequent Calculus.. CADE, том 607 из Lecture Notes in Computer Science, стр. 522-536. Springer, (1992)Using Decision Procedures with a Higher-Order Logic.. TPHOLs, том 2152 из Lecture Notes in Computer Science, стр. 5-26. Springer, (2001)Unraveling a Card Trick., и . Essays in Memory of Amir Pnueli, том 6200 из Lecture Notes in Computer Science, стр. 195-201. Springer, (2010)Static Analysis for Safe Destructive Updates in a Functional Language.. LOPSTR, том 2372 из Lecture Notes in Computer Science, стр. 1-24. Springer, (2001)PVS: Combining Specification, Proof Checking, and Model Checking.. FMCAD, том 1166 из Lecture Notes in Computer Science, стр. 257-264. Springer, (1996)ModelRob: A Simulink Library for Model-Based Development of robot manipulators., и . ICRA, стр. 2654-2659. IEEE, (2012)Dynamic User Interface Composition., , , и . SN Comput. Sci., 4 (3): 259 (мая 2023)