Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bruce Krogh
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
International Journal of Foundations of Computer Science
Computer Science
Related publications
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Interference Analysis for Dependable Systems Using Refinement and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis
IEE Proceedings - Control Theory and Applications
Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking
ACM SIGBED Review
Engineering
Computer Science
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
