( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis Through Unification.

, , и . CAV (2), том 9207 из Lecture Notes in Computer Science, стр. 163-179. Springer, (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.

Rajeev Sudra

Naresh Kumar Aluri

Rajeev Gangula

Sirisha Aluri

Bhaskar Reddy Aluri

 

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

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems., , , и . Hybrid Systems, том 736 из Lecture Notes in Computer Science, стр. 209-229. Springer, (1992)NetEgg: A Scenario-Based Programming Toolkit for SDN Policies., , , , , , и . IEEE/ACM Trans. Netw., 26 (5): 2104-2117 (2018)Adding nesting structure to words, и . Journal of the ACM, 56 (3): 16:1--16:43 (2009)Symbolic analysis for improving simulation coverage of Simulink/Stateflow models., , , и . EMSOFT, стр. 89-98. ACM, (2008)REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency., , , , , и . MEMOCODE, стр. 1-12. IEEE, (2020)Policy Synthesis and Reinforcement Learning for Discounted LTL., , , , , и . CAV (1), том 13964 из Lecture Notes in Computer Science, стр. 415-435. Springer, (2023)Specification-Guided Learning of Nash Equilibria with High Social Welfare., , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 343-363. Springer, (2022)Trends and Challenges in Algorithmic Software Verification.. VSTTE, том 4171 из Lecture Notes in Computer Science, стр. 245-250. Springer, (2005)Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination., , , , и . World Congress on Formal Methods, том 1708 из Lecture Notes in Computer Science, стр. 212-232. Springer, (1999)Formal verification of hybrid systems.. EMSOFT, стр. 273-278. ACM, (2011)