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
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: john OR schlipf, abstract interpretation
2 results
Results
file
Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics
Submitted by
admin
on Sun, 07/31/2011 - 6:44pm. Contributors:
Matthew Might
Ganesh Gopalakrishnan
John Hollerbach
Dennis Parker
1.29 MB
0 views
91 downloads
Download
Robotics
Validation and Verification
University of Utah
medical robotics
tumor ablation
hybrid systems
flow networks
model-checking
abstract interpretation
hybrid automata
National CPS PI Meeting 2011
Poster
Academia
Poster Session: Day 1
file
Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics
Submitted by
Katie Dey
on Fri, 11/04/2011 - 11:50am. Contributors:
Matthew Might
Ganesh Gopalakrishnan
John Hollerbach
Dennis Parker
71.32 KB
0 views
110 downloads
Download
Robotics
Validation and Verification
flow networks
hybrid systems
tumor ablation
medical robotics
University of Utah
model-checking
abstract interpretation
hybrid automata
National CPS PI Meeting 2011
Academia
Project Abstracts
Current search
[×]
john
OR
schlipf
[×]
Keywords
: abstract interpretation
Guided search
Click a term to refine your current search.
Group
2011 CPS PI Meeting
(2)
Topics
Robotics
(2)
Validation and Verification
(2)
Keywords
:
all
» abstract interpretation
Content type
File
(2)
Document Type
Poster
(1)
CPS Events
2011
(2)
Contributor(s)
Dennis Parker
(2)
Ganesh Gopalakrishnan
(2)
John Hollerbach
(2)
Matthew Might
(2)
Document Source
Academia
(2)
Author
admin
(1)
Katie Dey
(1)
Date authored
2011
(2)
Keyword search
Search within results
More options
