ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
42
views
17
references
Top references
cited by
27
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,376
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Automated Technology for Verification and Analysis
Statistical Model Checking for Cyber-Physical Systems
other
Author(s):
Edmund M. Clarke
,
Paolo Zuliani
Publication date
(Print):
2011
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
Core Readings in Statistical Mediation Analysis
Most cited references
17
Record
: found
Abstract
: not found
Article
: not found
Specifying real-time properties with metric temporal logic
Ron Koymans
(1990)
0
comments
Cited
132
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Monitoring Temporal Properties of Continuous Signals
Oded Maler
,
Dejan Nickovic
(2004)
0
comments
Cited
92
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Model-checking algorithms for continuous-time markov chains
Paul Baier
,
Elizabeth B Haverkort
,
H Hermanns
…
(2003)
0
comments
Cited
92
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2011
Pages
: 1-12
DOI:
10.1007/978-3-642-24372-1_1
SO-VID:
f96f7192-b405-4111-a67e-c81c91fd1630
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Statistical Model Checking for Cyber-Physical Systems
pp. 321
Multi-core Nested Depth-First Search
pp. 336
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
pp. 381
Parallel Nested Depth-First Searches for LTL Model Checking
pp. 443
Hierarchical Counterexamples for Discrete-Time Markov Chains
pp. 306
Small Strategies for Safety Games
pp. 482
What’s Decidable about Weighted Automata?
pp. 511
Learning-Based Compositional Verification for Synchronous Probabilistic Systems
Similar content
2,376
A Rejoinder to Garfinkel (2023) – Legacy Statistical Disclosure Limitation Techniques for Protecting 2020 Decennial US Census: Still a Viable Option
Authors:
Krishnamurty Muralidhar
,
Josep Domingo-Ferrer
Intimate partner homicide in 10 European countries: Statistical data and policy development in a cross-national perspective
Authors:
Heidi Stöckl
,
Consuelo Corradi
Statistical factor analysis technique for characterizing basalt through interpreting nuclear and electrical well logging data (case study from Southern Syria).
Authors:
Jamal Asfahani
See all similar
Cited by
27
A Survey of Statistical Model Checking
Authors:
Gul Agha
,
Karl Palmskog
Coupling and Importance Sampling for Statistical Model Checking
Authors:
Benoit Barbot
,
Serge Haddad
,
Claudine Picaronny
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
Authors:
Xi Zheng
,
Christine Julien
,
Miryung Kim
…
See all cited by