Yu Wang

Zelin Xu

Proceedings of the 2024 SIAM International Conference on Data Mining, 2024

On the uniqueness of solution for the Bellman equation of LTL objectives.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Spatial-Logic-Aware Weakly Supervised Learning for Flood Mapping on Earth Imagery.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Rigorous Evaluation of Computer Processors with Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

Spatial Knowledge-Infused Hierarchical Learning: An Application in Flood Mapping on Earth Imagery.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM International Conference on Advances in Geographic Information Systems, 2023

Lightweight Verification of Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

Statistical Verification of Traffic Systems with Expected Differential Privacy.

[BibT_eX]

[DOI]

Mark Yen

Geir E. Dullerud

Proceedings of the American Control Conference, 2023

2022

Learning-Based Vulnerability Analysis of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Learning Monotone Dynamics by Neural Networks.

[BibT_eX]

[DOI]

Qitong Gao

Proceedings of the American Control Conference, 2022

2021

Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2021

Learning Optimal Strategies for Temporal Tasks in Stochastic Games.

[BibT_eX]

[DOI]

CoRR, 2021

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Probabilistic conformance for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Statistical Model Checking for Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Model-Free Learning of Safe yet Effective Controllers.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Deep Learning for Stable Monotone Dynamical Systems.

[BibT_eX]

[DOI]

Qitong Gao

CoRR, 2020

Differential Privacy for Sequential Algorithms.

[BibT_eX]

[DOI]

CoRR, 2020

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Hyperproperties for Robotics: Planning via HyperLTL.

[BibT_eX]

[DOI]

Siddhartha Nalluri

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Statistical verification of learning-based cyber-physical systems.

[BibT_eX]

[DOI]

Mojtaba Zarei

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

STMC: Statistical Model Checker with Stratified and Antithetic Sampling.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Context-Aware Temporal Logic for Probabilistic Systems.

[BibT_eX]

[DOI]

Mahmoud Elfar

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Statistical Verification of Hyperproperties for Cyber-Physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Statistical verification of PCTL using antithetic and stratified samples.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Hyperproperties for Robotics: Motion Planning via HyperLTL.

[BibT_eX]

[DOI]

Siddhartha Nalluri

CoRR, 2019

Statistical Verification of Hyperproperties for Cyber-Physical System.

[BibT_eX]

[DOI]

CoRR, 2019

Attack-Resilient Supervisory Control of Discrete-Event Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Statistical Model Checking for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

CoRR, 2019

Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Attack-Resilient Supervisory Control with Intermittently Secure Communication.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Security-Aware Synthesis Using Delayed-Action Games.

[BibT_eX]

[DOI]

Mahmoud Elfar