Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
formal abstractions
biblio
Formal Verification of Complex Systems: Model-Based and Data-Driven Methods
Submitted by grigby1 on Wed, 05/09/2018 - 2:47pm
pubcrawl
strategy synthesis
stochastic hybrid systems
similarity metrics
scalable verification
Scalability
Resiliency
resilience
Quantitative Verification
active learning
model checking
Metrics
formal abstractions
experiment design
Dynamical Systems
Control Theory
Compositionality
Bayesian inference
