Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems.

Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty

Browse the full ATVA paper archive.