•  

[TUT] Model Checking of Hybrid Systems via Satisfiability Modulo Theories

A session at International Conference on Automated Planning and Scheduling (ICAPS 2013)

  • Alessandro Cimatti

About the speaker

This person is speaking at this event.
Alessandro Cimatti

Sign in to add slides, notes or videos to this session

Tell your friends!

When

Date Mon 10th June 2013

Short URL

lanyrd.com/scfydh

Official event site

icaps13.icaps-conference.org

View the schedule

Share

See something wrong?

Report an issue with this session