Andrea gets the NSFC project approved

Andrea’s project for the Research Fund for International Young Scientists on LP-based reduction techniques for analyzing cost probabilistic automata has been approved by the National Natural Science Foundation of China (NSFC).

New Papers

IscasMC goes live

The ISCAS model checker goes live today. It supports now

  • Markov chains, wrt. logic PCTL*
  • Markov decision processes, wrt. logic PCTL*
  • Quantum Markov chains, wrt. logic QCTL