Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
11
views
19
references
Top references
cited by
4
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,099
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Entertainment Computing - ICEC 2006
Qualitative Reachability for Open Interval Markov Chains
other
Author(s):
Jeremy Sproston
Publication date
(Online):
August 30 2018
Publisher:
Springer International Publishing
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
Special feature: Methodological Innovations in Qualitative Educational Research
Most cited references
19
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
Conference Proceedings
: not found
Specification and refinement of probabilistic processes
B. Jonsson
,
K.G. Larsen
(1991)
0
comments
Cited
24
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Computing Minimum and Maximum Reachability Times in Probabilistic Systems
Luca de Alfaro
(1999)
0
comments
Cited
24
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2018
Publication date (Online):
August 30 2018
Pages
: 146-160
DOI:
10.1007/978-3-030-00250-3_11
SO-VID:
968bb5bf-2ce5-4d06-ab3c-55eb85bf2157
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Multi-purpose Syntax Definition with SDF3
pp. 3
On the Impact of the Application Domain on Users’ Susceptibility to the Six Weapons of Influence
pp. 13
Forensic Authorship Attribution Using Compression Distances to Prototypes
pp. 41
Solving the Set Covering Problem with a Shuffled Frog Leaping Algorithm
pp. 59
Classification of EEG Signals for Cognitive Load Estimation Using Deep Learning Architectures
pp. 63
Seasonal Variation in Collective Mood via Twitter Content and Medical Purchases
pp. 77
Virtual-Reality Videos to Relieve Depression
pp. 38
Extending Open Dynamics Engine for Robotics Simulation
pp. 85
Localized Random Shapelets
pp. 125
The Use of Asymmetric Numeral Systems Entropy Encoding in Video Compression
pp. 127
Re-training Deep Neural Networks to Facilitate Boolean Concept Extraction
pp. 143
Universally Composable Oblivious Transfer Based on a Variant of LPN
pp. 146
Qualitative Reachability for Open Interval Markov Chains
pp. 86
SSHCure: A Flow-Based SSH Intrusion Detection System
pp. 133
Taking Neuropsychological Test to the Next Level: Commercial Virtual Reality Video Games for the Assessment of Executive Functions
pp. 164
Hidden Markov Model Modeling of SSH Brute-Force Attacks
pp. 226
Symbolic Model Generation for Graph Properties
pp. 197
Gait Recognition with Multi-region Size Convolutional Neural Network for Authentication with Wearable Sensors
pp. 147
Demonstrating the Differential Impact of Flock Heterogeneity on Multi-agent Herding
pp. 211
Uniform Substitution for Differential Game Logic
pp. 170
Dead Science: Most Resources Linked in Biomedical Articles Disappear in Eight Years
pp. 223
IOS Crowd–Sensing Won’t Hurt a Bit!: AWARE Framework and Sustainable Study Guideline for iOS Platform
pp. 276
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
pp. 237
Depression Management as Lifestyle Management: Exploring Existing Practices and Perceptions Among College Students
pp. 255
Overview of the CLEF eHealth Evaluation Lab 2020
pp. 228
On Prefix Normal Words
pp. 268
Accessibility or Usability of the User Interfaces for Visually Impaired Users? A Comparative Study
pp. 223
Mindtraining: Playful Interaction Techniques for People with Dementia
pp. 310
A Component Model for Control-Intensive Distributed Embedded Systems
pp. 418
A 3D Visualization Approach for Process Training in Office Environments
pp. 303
Rare Pattern Mining on Data Streams
pp. 243
Predicting Alcoholism Recovery from Twitter
pp. 318
HVUAN – A Rapid-Development Framework for Spanish-Speaking Virtual Humans
pp. 262
Enjoyment or Engagement? Role of Social Interaction in Playing Massively Mulitplayer Online Role-Playing Games (MMORPGS)
pp. 285
Gesture Based Automating Household Appliances
pp. 333
Investigation of Multimodal Mobile Applications for Improving Mental Health
pp. 387
ROSMonitoring: A Runtime Verification Framework for ROS
pp. 548
Combining Machine Learning and Simulation to a Hybrid Modelling Approach: Current and Future Directions
pp. 691
NightOwls: A Pedestrians at Night Dataset
pp. 529
Vision-Depth Landmarks and Inertial Fusion for Navigation in Degraded Visual Environments
pp. 621
Distributed Classification of Text Documents on Apache Spark Platform
pp. 633
VIDEODOPE: Applying Persuasive Technology to Improve Awareness of Drugs Abuse Effects
Similar content
2,099
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation
Authors:
Shuying Liang
,
Andrew W. Keep
,
Matthew Might
…
Complexity reduction in explicit MPC: A reachability approach
Authors:
Michal Kvasnica
,
Peter Bakárač
,
Martin Klaučo
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Authors:
Eugene Asarin
,
Thao Dang
,
Antoine Girard
See all similar
Cited by
4
Qualitative Reachability for Open Interval Markov Chains
Authors:
Jeremy Sproston
Qualitative reachability for open interval Markov chains
Authors:
Jeremy Sproston
On the Complexity of Reachability in Parametric Markov Decision Processes
Authors:
Tobias Winkler
,
Sebastian Junges
,
Guillermo Pérez
…
See all cited by