Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty. Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. In Étienne André, Jun Sun 0001, editors, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I. Volume 14215 of Lecture Notes in Computer Science, pages 312-333, Springer, 2023. [doi]

This author has not been identified. Look up 'Shengjie Xu' in GoogleThis author has not been identified. Look up 'Bineet Ghosh' in GoogleThis author has not been identified. Look up 'Clara Hobbs' in GoogleThis author has not been identified. Look up 'Enrico Fraccaroli' in GoogleThis author has not been identified. Look up 'Parasara Sridhar Duggirala' in GoogleThis author has not been identified. Look up 'Samarjit Chakraborty' in Google

runs on WebDSL