Stem smc$ (all stems)

3 papers:

QAPL-2012-BulychevDLMPLW #automaton #model checking #named #statistics

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (PEB, AD, KGL, MM, DBP, AL, ZW), pp. 1–16.

ICPR-2010-UlkerGC #modelling #process

Annealed SMC Samplers for Dirichlet Process Mixture Models (YÜ, BG, ATC), pp. 2808–2811.

CAV-1997-SistlaMG #liveness #model checking #named #symmetry #verification

SMC: A Symmetry Based Model Checker for Verification of Liveness Properties (APS, LM, VG), pp. 464–467.