Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Paper accepted to SETTA 2020

less than 1 minute read

Published:

Paper titled “Modelling and Implementation of Unmanned Aircraft Collision Avoidance” is accepted to SETTA 2020. This is joint work with Weizhi Feng, Cheng-Chao Huang, and Andrea Turrini.

Paper accepted to Tool Demo Track of ESEC/FSE 2020

less than 1 minute read

Published:

Paper titled “SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM” is accepted to the Tool Demostrations Track of ESEC/FSE 2020. This is joint work with Xie Li, Yi Li, Andrea Turrini, Xuechao Sun and Lijun Zhang.

Paper accepted to GandALF 2020

less than 1 minute read

Published:

Paper titled “On the Power of Unambiguity in Büchi Complementation” is accepted for presentation at GandALF 2020. This is joint work with Moshe Y. Vardi and Lijun Zhang.

Paper accepted to ATVA 2020

less than 1 minute read

Published:

Paper titled “Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling” is accepted for presentation at ATVA 2020. This is joint work with Andrea Turrini, Xuechao Sun, and Lijun Zhang.

Paper accepted to AAAI 2020

less than 1 minute read

Published:

Paper titled “Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications” is accepted for oral presentation at AAAI 2020. This is joint work with Suguman Bansal, Lucas M. Tabajara, and Moshe Y. Vardi.

portfolio

publications

Learning to Complement Büchi Automata

Published in Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018), 2018

Recommended citation:

ROLL 1.0: ω-Regular Language Learning Library

Published in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019

Recommended citation:

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.