We are happy that our paper about the power of finite ambiguity in Büchi complementation has been accepted in I&C.
Category Archives: News
Paper accepted in JSS
We are proud that our paper about a symbolic algorithm for the case-split rule in solving word constraints has been accepted in JSS.
Paper accepted at TACAS’23
We are glad that our paper about modular mix-and-match complementation of Büchi automata has been accepted in TACAS’23.
Paper accepted in IPL
We are happy to announce that our paper about the quantitative controller synthesis for consuption MDPs has been accepted in IPL.
Paper accepted at VSTTE’22
We are pleased to announce that our paper about compositional safety LTL synthesis has been accepted at VSTTE’22.
Paper accepted at SEFM’22
We are glad that our paper about the formal verification of Chisel programs with SVA-like assertions has been accepted at SEFM’22.
Paper accepted in TCS
We are proud that our paper about synthesizing ranking functions for loop programs via SVM has been accepted in TCS.
Depeng Liu passed his PhD thesis defense
Congratulations to Depeng Liu who passed his PhD thesis defense on May 26th, 2022.
The title of the PhD thesis is “Formal Verification, Analysis and Applications of Differential Privacy”.
The comittee members are:
- Yuxin Deng (Chair)
- Yan Cai
- Yuan Feng
- Zhilin Wu
- Bow-yaw Wang
Chen Fu passed his PhD thesis defense
Congratulations to Chen Fu who passed his PhD thesis defense on May 26th, 2022.
The title of the PhD thesis is “Verification of Partially Observable Probabilistic Multi-agent Systems”.
The comittee members are:
- Meng Sun (Chair)
- Yuxin Deng
- Zhilin Wu
- Yuan Feng
- Yan Cai
Paper accepted at ISSAC’22
We are happy that our paper about explicit bounds for linear forms in the exponentials of algebraic numbers has been accepted at ISSAC’22.