Anna A. Carroll

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Monte Carlo Method

Sufficient Conditions

Stationary Distribution

Top Venues

Publications

Kaitlin N. Smith, Michael A. Taylor, Anna A. Carroll, Theodore W. Manikas, Mitchell A. Thornton
Automated Markov-chain based analysis for large state spaces. SysCon (2017)