Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
48
views
15
references
Top references
cited by
25
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
5,671
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Reachability Analysis of Probabilistic Systems by Successive Refinements
other
Author(s):
Pedro R. D’Argenio
,
Bertrand Jeannet
,
Henrik E. Jensen
,
Kim G. Larsen
Publication date
(Online):
August 30 2001
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Most cited references
15
Record
: found
Abstract
: not found
Article
: not found
A logic for reasoning about time and reliability
Hans-Christen Hansson
,
Bengt-Harald Jonsson
(1994)
0
comments
Cited
210
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Model checking of probabilistic and nondeterministic systems
Andrea Bianco
,
Luca Alfaro
(1995)
0
comments
Cited
94
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
It usually works: The temporal logic of stochastic systems
Adnan Aziz
,
Vigyan Singhal
,
Felice Balarin
…
(1995)
0
comments
Cited
33
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2001
Publication date (Online):
August 30 2001
Pages
: 39-56
DOI:
10.1007/3-540-44804-7_3
SO-VID:
4d396e1b-f72f-498a-9fc8-defd9ee989d2
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 39
Reachability Analysis of Probabilistic Systems by Successive Refinements
Similar content
5,671
Reachable Relative Motion Design of Space Manipulator Actuated Microgravity Platform
Authors:
Qingtang Mao
,
Shuquan Wang
PrIC3: Property Directed Reachability for MDPs
Authors:
Kevin Batz
,
Sebastian Junges
,
Benjamin Kaminski
…
Application of a rat hindlimb model: a prediction of force spaces reachable through stimulation of nerve fascicles.
Authors:
Devin L. Jindrich
,
Mark H. Johnson
,
V Edgerton
…
See all similar
Cited by
25
Probabilistic symbolic model checking with PRISM: a hybrid approach
Authors:
Gethin Norman
,
David Parker
,
Marta Kwiatkowska
Approximate Probabilistic Model Checking
Authors:
Thomas Hérault
,
Richard Lassaigne
,
Frederic Magniette
…
Reachability Analysis of Probabilistic Systems by Successive Refinements
Authors:
Pedro R. D’Argenio
,
Bertrand Jeannet
,
Henrik E. Jensen
…
See all cited by