Author of the publication

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

, , , , and . FORTE, volume 11535 of Lecture Notes in Computer Science, page 261-277. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)., and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 19-24. EasyChair, (2014)Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations., , and . CoRR, (2017)Verification for Machine Learning, Autonomy, and Neural Networks Survey., , , , , , , and . CoRR, (2018)Numerical Verification of Affine Systems with up to a Billion Dimensions., , and . CoRR, (2018)Abnormal Data Classification Using Time-Frequency Temporal Logic., , , , , and . HSCC, page 237-242. ACM, (2017)HYST: a source transformation and translation tool for hybrid automaton models., , and . HSCC, page 128-133. ACM, (2015)Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS., , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 67-72. Elsevier, (2018)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 103-119. EasyChair, (2019)Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants., , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 194-211. (2017)Static and Dynamic Analysis of Timed Distributed Traces., , , and . RTSS, page 173-182. IEEE Computer Society, (2012)