The first CAP workshop is planned to be host in Heidelberg, as a satellite event of CAV. Details of the workshop proposal are available in the dedicated page.
The joint work between ISCAS, SAU, and Masdar Institute of Science and Technology about the multi-objective polynomial-time alternating probabilistic bisimulation for interval MDPs and the joint work between ISCAS and East China Normal University about equivalence checking of nondeterministic…
The joint work between ISCAS and University of Technology Sydney about model checking ω-regular properties for Markov quantum chains has been accepted in CONCUR’17.
The joint work between ISCAS, SAU, and Oxford University about multi-objective robust strategy synthesis for interval MDPs has been accepted at QEST’17.
The joint work between ISCAS and RWTH, together with the Universidad Nacional de Cordoba and the University of Twente, about JANI, a quantitative model and tool interaction specification has been accepted at TACAS’17. Also the ISCAS work, together with Academia Sinica,…
The joint work between ISCAS and the University of Liverpool about a recursive algorithm for synthesising strategy improvements for solving quantitative probabilistic parity games has been accepted at VMCAI’17.
Ralf Wimmer and Karina Wimmer, from ALU, visits ISCAS from Oct. 17 to Oct. 27, 2016. During the visit, Ralf gives a course on Symbolic Verification while Karima gives a talk on Dependency Quantified Boolean Formulas and Skolem functions applied…
The work from ISCAS about using unambiguous Büchi automata for an efficient synthesis algorithm for parametric Markov chains agains linear time properties has been accepted at SETTA’16.
The joint work between ISCAS and SAU about exploiting robust optimization for interval probabilistic bisimulation has been accepted at QEST’16.
Lijun Zhang, from ISCAS, visits SAU and RWTH from May 8 to May 14, 2016.