17th International Symposium on Automated Technology for Verification and Analysis

Our doctoral researcher Keerthi visited the 17th International Symposium on Automated Technology for Verification and Analysis stands as ATVA 2019.

The conference took place from 27 – 31 October 2019 at the National Academy of the Republic of China (Taiwan) named as Academia Sinica. The dedicated community promotes the research on theoretical and practical aspects of Automation, Verification and Synthesis. In the context of advancement where human power is replaced with robots what is more important than ‘generating correct by construction designs automatically’ that are flawless and can be retained in long run?  Technically the idea is called as “Synthesis” where our research focus lies in. I presented our work in “Synthesis” session of the event, a paper titled: “Reactive Synthesis of Graphical User Interface Glue Code” which was prepared in collaboration with Prof. Dr. Rüdiger Ehlers. The final version of the paper can be found in the published Springer Lecture Notes for Computer Science at https://link.springer.com/chapter/10.1007/978-3-030-31784-3_23

Authors presented their work from accepted papers in the areas of Cyber physical systems, Automata, Model checking, Synthesis, Program analysis, Stochastic systems, Run time techniques, and Verification. The program offered various invited talks and tutorial sessions on state of the art techniques and research in the area of Autonomous systems, Computational theory, and Game theory. The conference co-located with INFINITY 2019 which is 21st International Workshop on Verification of Infinite-State Systems. Outstanding talks on Parity game solving algorithms, Reinforcement learning, Omega-automata and more were delivered by Sanjay Jain, Lijun Zhang, Laure Daviaud, and Ashutosh Trivedi.