Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,423,205 papers from all fields of science
Search
Sign In
Create Free Account
Abstraction model checking
Abstraction Model checking is for systems where an actual representation is too complex in developing the model alone. So, the design undergoes a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Model checking
SLAM project
State space
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Cyber-Physical Systems Engineering: An Introduction
John Paul Gibson
,
P. Larsen
,
M. Pantel
,
J. Fitzgerald
,
J. Woodcock
Leveraging Applications of Formal Methods
2018
Corpus ID: 53108050
Cyber-Physical Systems (CPSs) [1] connect the real world to software systems through a network of sensors and actuators in which…
Expand
2017
2017
An Algorithmic Approach for Stability Verification of Hybrid Systems
Miriam García Soto
2017
Corpus ID: 134396382
Los sistemas ciberfisicos son sistemas tecnologicos interconectados que integran componentes de indole fisica y elementos…
Expand
2008
2008
Abstraction, model checking and software correctness
P. Henderson
SGCS
2008
Corpus ID: 2276420
I hope you were able to read the contribution from Maria and Gary Litvin, Pre-college Math Concepts vs Skills - Preparation for…
Expand