|
|
|
| |||||||||
HSCC 2020 : 23rd ACM International Conference on Hybrid Systems: Computation and Control | |||||||||
| 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 |
|
