Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement Article

Jha, Sumit Kumar, Langmead, Christopher James. (2011). Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement . THEORETICAL COMPUTER SCIENCE, 412(21), 2162-2187. 10.1016/j.tcs.2011.01.012

cited authors

  • Jha, Sumit Kumar; Langmead, Christopher James

authors

publication date

  • May 6, 2011

published in

keywords

  • ALGORITHMS
  • COMPUTATION
  • Computer Science
  • Computer Science, Theory & Methods
  • Model infeasibility
  • PARAMETER SYNTHESIS
  • Parameter synthesis
  • SIMULATION
  • SYMBOLIC REACHABILITY ANALYSIS
  • Science & Technology
  • Statistical model checking
  • Stochastic systems
  • Systems biology
  • Technology

Digital Object Identifier (DOI)

publisher

  • ELSEVIER

start page

  • 2162

end page

  • 2187

volume

  • 412

issue

  • 21