R
R. L. Jones
Researcher at ASRC Aerospace Corporation
Publications - 2
Citations - 191
R. L. Jones is an academic researcher from ASRC Aerospace Corporation. The author has contributed to research in topics: Model checking & Markov process. The author has an hindex of 2, co-authored 2 publications receiving 186 citations.
Papers
More filters
Book ChapterDOI
Logical and Stochastic Modeling with Smart
TL;DR: Since Smart targets both the classroom and realistic industrial settings as a learning, research, and application tool, it is written in a modular way that allows for easy integration of new formalisms and solution algorithms.
Journal ArticleDOI
Logic and stochastic modeling with SMART
TL;DR: Since SMART targets both the classroom and realistic industrial settings as a learning, research, and application tool, it is written in a modular way that allows for easy integration of new formalisms and solution algorithms.