Sadegh Esmaeil Zadeh Soudjani

Zhengang Zhong

CoRR, 2024

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation.

[BibT_eX]

[DOI]

CoRR, 2024

Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside".

[BibT_eX]

[DOI]

CoRR, 2024

Assume-Guarantee Reinforcement Learning.

[BibT_eX]

[DOI]

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

2023

A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems.

[BibT_eX]

[DOI]

Emilio Frazzoli

IEEE Trans. Autom. Control., December, 2023

Neural Abstraction-Based Controller Synthesis and Deployment.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., October, 2023

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., May, 2023

Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.

[BibT_eX]

[DOI]

TheoretiCS, 2023

Generalized Stochastic Dynamic Aggregative Game for Demand-Side Management in Microgrids With Shared Battery.

[BibT_eX]

[DOI]

Shahram Yadollahi

Hamed Kebriaei

IEEE Control. Syst. Lett., 2023

Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Constructing MDP Abstractions Using Data With Formal Guarantees.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks.

[BibT_eX]

[DOI]

Omid Akbarzadeh

CoRR, 2023

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach.

[BibT_eX]

[DOI]

Ben Wooding

CoRR, 2023

Bayesian Approach to Temporal Logic Control of Uncertain Systems.

[BibT_eX]

[DOI]

CoRR, 2023

Barrier Certificates for a Computational Model of Epileptic Seizures.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Using Knowledge Awareness to Improve Safety of Autonomous Driving.

[BibT_eX]

[DOI]

Andrea Calvagna

Arabinda Ghosh

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Verification of Quantum Systems Using Barrier Certificates.

[BibT_eX]

[DOI]

Marco Lewis

Paolo Zuliani

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Poster Abstract: A Toolchain for Accelerated Symbolic Control.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

SySCoRe: Synthesis via Stochastic Coupling Relations.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Robust Simulation Functions with Disturbance Refinement.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2023

Reinforcement Learning for Stochastic Max-Plus Linear Systems.

[BibT_eX]

[DOI]

Vignesh Subramanian

Farzaneh Farhadi

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Temporal Logic Resilience for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Adnane Saoud

Pushpak Jagtap

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Data-Driven Abstraction-Based Control Synthesis.

[BibT_eX]

[DOI]

CoRR, 2022

Compositional construction of control barrier functions for continuous-time stochastic hybrid systems.

[BibT_eX]

[DOI]

Autom., 2022

Automated verification and synthesis of stochastic hybrid systems: A survey.

[BibT_eX]

[DOI]

Autom., 2022

A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Data-Driven Reachability Analysis of Digital Twin FMI Models.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Correct-by-Design Control of Parametric Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Safety Barrier Certificates for Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Emilio Frazzoli

Proceedings of the American Control Conference, 2022

2021

Formal Synthesis of Stochastic Systems via Control Barrier Certificates.

[BibT_eX]

[DOI]

Pushpak Jagtap

IEEE Trans. Autom. Control., 2021

Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Systematic review of features for co-simulating security incidents in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Secur. Priv., 2021

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2021

Formal Multi-Objective Synthesis of Continuous-State MDPs.

[BibT_eX]

[DOI]

Petter Nilsson

IEEE Control. Syst. Lett., 2021

Data-driven verification and synthesis of stochastic systems through barrier certificates.

[BibT_eX]

[DOI]

CoRR, 2021

Formal Verification of Quantum Programs: Theory, Tools and Challenges.

[BibT_eX]

[DOI]

Marco Lewis

Paolo Zuliani

CoRR, 2021

Symbolic Control for Stochastic Systems via Parity Games.

[BibT_eX]

[DOI]

CoRR, 2021

Data-driven verification of stochastic linear systems with signal temporal logic constraints.

[BibT_eX]

[DOI]

Ali Salamati

Autom., 2021

Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs.

[BibT_eX]

[DOI]

Isaac Matthews

Aad van Moorsel

Proceedings of the Science of Cyber Security - Third International Conference, 2021

The Pseudo-Skolem Problem is Decidable.

[BibT_eX]

[DOI]

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Symbolic reach-avoid control of multi-agent systems.

[BibT_eX]

[DOI]

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

The computability of LQR and LQG control.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

ARCH-COMP21 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs.

[BibT_eX]

[DOI]

ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020

Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2020

Data-Driven Verification under Signal Temporal Logic Constraints.

[BibT_eX]

[DOI]

Ali Salamati

CoRR, 2020

Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles.

[BibT_eX]

[DOI]

Ben Wooding

Vahid Vahidinasab

CoRR, 2020

Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning.

[BibT_eX]

[DOI]

Milad Kazemi

CoRR, 2020

Compositional abstraction-based synthesis for networks of stochastic switched systems.

[BibT_eX]

[DOI]

Autom., 2020

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Access, 2020

Cyclic Bayesian Attack Graphs: A Systematic Computational Approach.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Trust, 2020

Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning.

[BibT_eX]

[DOI]

Milad Kazemi

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

On Decidability of Time-Bounded Reachability in CTMDPs.

[BibT_eX]

[DOI]

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Symbolic controller synthesis for Büchi specifications on stochastic systems.

[BibT_eX]

[DOI]

Kaushik Mallik

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

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems.

[BibT_eX]

[DOI]

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

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.

[BibT_eX]

[DOI]

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

ARCH-COMP20 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Compositional Synthesis of Finite-State Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs.

[BibT_eX]

[DOI]

CoRR, 2019

Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations.

[BibT_eX]

[DOI]

CoRR, 2019

Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach.

[BibT_eX]

[DOI]

CoRR, 2019

Perception-in-the-Loop Adversarial Examples.

[BibT_eX]

[DOI]

CoRR, 2019

Compositional construction of infinite abstractions for networks of stochastic control systems.

[BibT_eX]

[DOI]

Autom., 2019

Achievements in correct-by-design control for stochastic systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.

[BibT_eX]

[DOI]

Pushpak Jagtap

Proceedings of the Automated Technology for Verification and Analysis, 2018

Concentration of Measure for Chance-Constrained Optimization.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Temporal logic control of general Markov decision processes by approximate policy refinement.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Vignesh Sivaramakrishnan

Cristian Ioan Vasile

Abraham P. Vinod

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2017

Dynamic Bayesian networks for formal verification of structured stochastic processes.

[BibT_eX]

[DOI]

Acta Informatica, 2017

Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.

[BibT_eX]

[DOI]

Tigran Nagapetyan

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Controller Synthesis for Reward Collecting Markov Processes in Continuous Space.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Compositional construction of finite state abstractions for stochastic control systems.

[BibT_eX]

[DOI]

Kaushik Mallik

Anne-Kathrin Schmuck

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Compositional abstractions of interconnected discrete-time stochastic control systems.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.

[BibT_eX]

[DOI]

Samira S. Farahani

Vinayak S. Prabhu

Proceedings of the 2017 American Control Conference, 2017

2016

Formal Verification of Stochastic Max-Plus-Linear Systems.

[BibT_eX]

[DOI]

Dieky Adzkiya

IEEE Trans. Autom. Control., 2016

Safety Verification of Continuous-Space Pure Jump Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Formal and Data Association Aware Robust Belief Space Planning.

[BibT_eX]

[DOI]

Shashank Pathak

Vadim Indelman

Proceedings of the STAIRS 2016, 2016

Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems.

[BibT_eX]

[DOI]

Vahab Rostampour

Dieky Adzkiya

Bart De Schutter

Tamás Keviczky

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2015

Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2015

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

FAUST <sup> 2</sup> : Formal Abstractions of Uncountable-STate STochastic Processes.

[BibT_eX]

[DOI]

Caspar Gevaerts

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Finite Abstractions of Stochastic Max-Plus-Linear Systems.

[BibT_eX]

[DOI]

Dieky Adzkiya

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes.

[BibT_eX]

[DOI]

SIAM J. Appl. Dyn. Syst., 2013

Aggregation of thermostatically controlled loads by formal abstractions.

[BibT_eX]

[DOI]

Proceedings of the 12th European Control Conference, 2013

2012

Probabilistic invariance of mixed deterministic-stochastic dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Higher-Order Approximations for Verification of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems.

[BibT_eX]

[DOI]