Author of the publication

Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications.

, , , and . CoRR, (2022)

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

Formal Verification by Reverse Synthesis., , , and . SAFECOMP, volume 5219 of Lecture Notes in Computer Science, page 305-319. Springer, (2008)Quadtree Representation and Compression of Spatial Data., , and . Trans. Rough Sets, (2011)Supervisory Control for Delayed Detectability of Discrete Event Systems., and . CASE, page 480-485. IEEE, (2019)Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications., , , and . ICRA, page 12367-12373. IEEE, (2023)Xiaomingbot: A Multilingual Robot News Reporter., , , , , , , , , and 3 other author(s). ACL (demo), page 1-8. Association for Computational Linguistics, (2020)Exploiting refactoring in formal verification., , and . DSN, page 53-62. IEEE Computer Society, (2009)A general approach for solving dynamic sensor activation problems for a class of properties., and . CDC, page 3610-3615. IEEE, (2015)Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control., , , and . CoRR, (2023)Spectral modeling using neural autoregressive distribution estimators for statistical parametric speech synthesis., , and . ICASSP, page 3824-3828. IEEE, (2014)VLSI design of low-cost and high-precision fixed-point reconfigurable FFT processors., , , , , and . IET Comput. Digit. Tech., 12 (3): 105-110 (2018)