![]() |
| |||||||||||
HSCC 2020 : 23rd ACM International Conference on Hybrid Systems: Computation and ControlConference Series : Hybrid Systems | |||||||||||
Link: https://berkeleylearnverify.github.io/HSCC_2020/ | |||||||||||
| |||||||||||
Call For Papers | |||||||||||
Regular papers including papers submitted to three special tracks.
Artificial Intelligence and Machine Learning in CPS Design Automation for CPS Autonomy and Robotics Maximum 10 pages 10pt font two-column ACM format Tool papers will be judged on the significance, clarity, and novelty of the implemented tool/technique described in the paper. Case study papers should report the evaluation of a technique or tool on a challenging application and/or benchmarks. Maximum 6 pages 10pt font two-column ACM format |
|