We are glad that our paper about modular mix-and-match complementation of Büchi automata has been accepted in TACAS’23.
Category Archives: Publication
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.
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.
Paper accepted at CAV’22
We our proud about our paper proposing a divide-and-conquer determinization algorithm for Büchi automata based on SCC decomposition has been accepted at CAV’22.
Paper accepted in JCST
We are delighted that our paper about model checking probabilistic multiagent systems has been accepted in the JCST journal.
Paper accepted at ICSE’22
We are proud to have our paper about the practical robustness analysis for DNNs based on PAC-model learning appearing in ICSE’22.
Paper accepted at VMCAI’22
We are glad that our paper about verifying pupperfish privacy in hidden Markov models has been accepted at VMCAI’22.