Model Checking Stochastic Systems in PAT

by SONG SONGZHENG
Published 2013

Model checking hierarchical probabilistic systems

by SUN, Jun, SONG, Songzheng, LIU, Yang
Published 2010

A model checker for hierarchical probabilistic real-time systems

by SONG, Songzheng, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2012

PRTS: An approach for model checking probabilistic real-time hierarchical systems

by SUN, Jun, LIU, Yang, SONG, Songzheng, DONG, Jin Song, LI, Xiaohong
Published 2011

Improved reachability analysis in DTMC via divide and conquer

by SONG, Songzheng, GUI, Lin, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2013

SCC-based improved reachability analysis for Markov decision processes

by GUI, Lin, SUN, Jun, SONG, Songzheng, LIU, Yang, DONG, Jin Song
Published 2014

Architecture-based behavioral adaptation with generated alternatives and relaxed constraints

by Chen, Bihuan, Peng, Xin, Liu, Yang, Song, Songzheng, Zheng, Jiahuan, Zhao, Wenyun
Published 2021

Improved EGT-based robustness analysis of negotiation strategies in multiagent systems via model checking

by SONG, Songzheng, HAO, Jianye, LIU, Yang, SUN, Jun, LEUNG, Ho-fung, ZHANG, Jie
Published 2016

Analyzing multi-agent systems with probabilistic model checking approach

by SONG, Songzheng, HAO, Jianye, LIU, Yang, SUN, Jun, LEUNG, Ho-fung, DONG, Jin Song
Published 2012

Formalizing and verifying stochastic system architectures using Monterey Phoenix

by SONG, Songzheng, ZHANG, Jiexin, LIU, Yang, AUGUSTON, Mikhail, SUN, Jun, DONG, Jin Song, CHEN, Tieming
Published 2016

More anti-chain based refinement checking

by WANG, Ting, SONG, Songzheng, SUN, Jun, LIU, Yang, DONG, Jin Song, WANG, Xinyu, LI, Shanping
Published 2012

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

by HAO, Jianye, SONG, Songzheng, LIU, Yang, SUN, Jun, GUI, Lin, DONG, Jin Song, LEUNG, Ho-fung
Published 2012