Publications
All Publications
Symbolic control for stochastic systems via finite parity games
R Majumdar, K Mallik, AK Schmuck, S Soudjani
Nonlinear Analysis: Hybrid Systems 51, 101430, 2024
Data-driven verification and synthesis of stochastic systems via barrier certificates
A Salamati, A Lavaei, S Soudjani, M Zamani
Automatica 159, 111323, 2024
Formal Verification of Quantum Programs: Theory, Tools, and Challenges
M Lewis, S Soudjani, P Zuliani
ACM Transactions on Quantum Computing 5 (1), 1-35, 2023
Assume-Guarantee Reinforcement Learning
M Kazemi, M Perez, F Somenzi, S Soudjani, A Trivedi, A Velasquez
arXiv preprint arXiv:2312.09938, 2023
Temporal Logic Resilience for Cyber-Physical Systems
A Saoud, P Jagtap, S Soudjani
2023 62nd IEEE Conference on Decision and Control (CDC), 2066-2071, 2023
Reinforcement Learning for Stochastic Max-Plus Linear Systems
V Subramanian, F Farhadi, S Soudjani
2023 62nd IEEE Conference on Decision and Control (CDC), 5631-5638, 2023
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems
O Schön, B van Huijgevoort, S Haesaert, S Soudjani
2023 62nd IEEE Conference on Decision and Control (CDC), 7035-7042, 2023
Compositional reinforcement learning for discrete-time stochastic control systems
A Lavaei, M Perez, M Kazemi, F Somenzi, S Soudjani, A Trivedi, ...
IEEE Open Journal of Control Systems, 2023
Using Knowledge Awareness to improve Safety of Autonomous Driving
A Calvagna, A Ghosh, S Soudjani
arXiv preprint arXiv:2310.16760, 2023
ARCH-COMP23 Category report: stochastic models
A Abate, H Blom, N Cauchi, J Delicaris, S Haesaert, B van Huijgevoort, ...
10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023
Generalized stochastic dynamic aggregative game for demand-side management in microgrids with shared battery
S Yadollahi, H Kebriaei, S Soudjani
IEEE Control Systems Letters, 2023
Grid Frequency Control Capability of Energy Storage Systems: Modeling, New Control Approach, and Real-time Validation
A Oshnoei, S Oshnoei, K Jalilpoor, S Soudjani, F Blaabjerg
2023 8th IEEE Workshop on the Electronic Grid (eGRID), 1-6, 2023
Verification of Quantum Systems Using Barrier Certificates
M Lewis, P Zuliani, S Soudjani
International Conference on Quantitative Evaluation of Systems, 346-362, 2023
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks
O Akbarzadeh, S Soudjani, A Lavaei
arXiv preprint arXiv:2309.05570, 2023
Neural Abstraction-Based Controller Synthesis and Deployment
R Majumdar, M Salamati, S Soudjani
ACM Transactions on Embedded Computing Systems 22 (5s), 1-25, 2023
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R Majumdar, K Mallik, M Rychlicki, AK Schmuck, S Soudjani
International Conference on Computer Aided Verification, 3-15, 2023
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
B Wooding, A Lavaei, S Soudjani
arXiv preprint arXiv:2307.03467, 2023
Robust Simulation Functions with Disturbance Refinement
B Wooding, A Lavaei, V Vahidinasab, S Soudjani
2023 European Control Conference (ECC), 1-6, 2023
Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱
O Schön, B Van Huijgevoort, S Haesaert, S Soudjani
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
A Toolchain for Accelerated Symbolic Control
R Majumdar, K Mallik, M Rychlicki, AK Schmuck, S Soudjani
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
SySCoRe: Synthesis via stochastic coupling relations
B Van Huijgevoort, O Schön, S Soudjani, S Haesaert
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
Bayesian Approach to Temporal Logic Control of Uncertain Systems
O Schön, B van Huijgevoort, S Haesaert, S Soudjani
arXiv preprint arXiv:2304.07428, 2023
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems
A Lavaei, S Soudjani, E Frazzoli
IEEE Transactions on Automatic Control, 2023
Formal Verification of Unknown Discrete-and Continuous-Time Systems: A Data-Driven Approach
A Nejati, A Lavaei, P Jagtap, S Soudjani, M Zamani
IEEE Transactions on Automatic Control, 2023
Fast symbolic algorithms for omega-regular games under strong transition fairness
T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani
TheoretiCS 2, 2023
Communicating Awareness: Designing a Framework for Cognitive Human-Agent Interaction for Autonomous Vehicles
A Tanevska, A Ghosh, K Winkle, G Castellano, S Soudjani
11th International Conference on Human-Agent Interaction (HAI 2023), 2023
Arch-comp22 category report: stochastic models
A Abate, H Blom, J Delicaris, S Haesaert, A Hartmanns, ...
EPiC Series in Computing 90, 113-141, 2022
Correct-by-Design Control of Parametric Stochastic Systems
O Schön, B van Huijgevoort, S Haesaert, S Soudjani
2022 IEEE 61st Conference on Decision and Control (CDC), 5580-5587, 2022
Automated verification and synthesis of stochastic hybrid systems: A survey
A Lavaei, S Soudjani, A Abate, M Zamani
Automatica 146, 110617, 2022
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
A Nejati, S Soudjani, M Zamani
Automatica 145, 110513, 2022
Data-driven reachability analysis of digital twin FMI models
S Bogomolov, J Fitzgerald, S Soudjani, P Stankaitis
International Symposium on Leveraging Applications of Formal Methods, 139-158, 2022
Constructing MDP abstractions using data with formal guarantees
A Lavaei, S Soudjani, E Frazzoli, M Zamani
IEEE Control Systems Letters 7, 460-465, 2022
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach
A Nejati, A Lavaei, S Soudjani, M Zamani
IEEE Control Systems Letters 7, 223-228, 2022
Data-driven abstraction-based control synthesis
M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding
arXiv preprint arXiv:2206.08069, 2022
Safety barrier certificates for stochastic hybrid systems
A Lavaei, S Soudjani, E Frazzoli
2022 American Control Conference (ACC), 880-885, 2022
Matrix Representation of Arbitrarily Controlled Quantum Gates
M Lewis, S Soudjani, P Zuliani
arXiv preprint arXiv:2205.02525, 2022
Translating omega-regular specifications to average objectives for model-free reinforcement learning
M Kazemi, M Perez, F Somenzi, S Soudjani, A Trivedi, A Velasquez
Proc. of the 21st International Conference on Autonomous Agents and …, 2022
A direct symbolic algorithm for solving stochastic rabin games
T Banerjee, R Majumdar, K Mallik, AK Schmuck, S Soudjani
International Conference on Tools and Algorithms for the Construction and …, 2022
Smart charging and operation of electric fleet vehicles in a smart city
M Kazemi, S Bailey, S Soudjani, V Vahidinasab
Cyberphysical Smart Cities Infrastructures: Optimal Operation and …, 2022
Data-driven verification and synthesis of stochastic systems through barrier certificates
A Salamati, A Lavaei, S Soudjani, M Zamani
arXiv preprint arXiv:2111.10330, 2021
Data-driven verification of stochastic linear systems with signal temporal logic constraints
A Salamati, S Soudjani, M Zamani
Automatica 131, 109781, 2021
Stochastic simulation techniques for inference and sensitivity analysis of bayesian attack graphs
I Matthews, S Soudjani, A van Moorsel
International Conference on Science of Cyber Security, 171-186, 2021
The pseudo-Skolem problem is decidable
J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, S Soudjani, ...
LIPIcs 202, 2021
Control and management of active buildings
B Wooding, V Vahidinasab, M Kazemi, S Soudjani
Active Building Energy Systems: Operation and Control, 161-192, 2021
Operation and control of a population of active buildings at network level
B Wooding, V Vahidinasab, S Soudjani
Active Building Energy Systems: Operation and Control, 193-218, 2021
Formal multi-objective synthesis of continuous-state MDPs
S Haesaert, P Nilsson, S Soudjani
2021 American Control Conference (ACC), 3428-3433, 2021
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach
A Lavaei, A Nejati, S Soudjani, M Zamani
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
The computability of LQR and LQG control
R Majumdar, S Soudjani
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
Symbolic reach-avoid control of multi-agent systems
R Majumdar, K Mallik, M Salamati, S Soudjani, M Zareian
Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical …, 2021
Systematic review of features for co‐simulating security incidents in cyber‐physical systems
RM Czekster, C Morisset, JA Clark, S Soudjani, C Patsios, P Davison
Security and Privacy 4 (3), e150, 2021
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 39, 100991, 2021
Symbolic control for stochastic systems via parity games
R Majumdar, K Mallik, AK Schmuck, S Soudjani
arXiv preprint arXiv:2101.00834, 2021
Arch-comp21 category report: Stochastic models
A Abate, HAP Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ...
Data-driven estimation of infinitesimal generators of stochastic systems
A Nejati, A Lavaei, S Soudjani, M Zamani
IFAC-PapersOnLine 54 (5), 277-282, 2021
Data-driven safety verification of stochastic systems via barrier certificates
A Salamati, A Lavaei, S Soudjani, M Zamani
IFAC-PapersOnLine 54 (5), 7-12, 2021
Symbolic qualitative control for stochastic systems via finite parity games
R Majumdar, K Mallik, AK Schmuck, S Soudjani
IFAC-PapersOnLine 54 (5), 127-132, 2021
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
A Nejati, S Soudjani, M Zamani
European Journal of Control 57, 82-94, 2021
Cyclic bayesian attack graphs: a systematic computational approach
I Matthews, J Mace, S Soudjani, A van Moorsel
2020 IEEE 19th International Conference on Trust, Security and Privacy in …, 2020
Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems
F Shmarov, S Soudjani, N Paoletti, E Bartocci, S Lin, SA Smolka, P Zuliani
IEEE Access 8, 180825-180843, 2020
ARCH-COMP20 Category Report: Stochastic Models.
A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ...
ARCH, 76-106, 2020
Formal controller synthesis for frequency regulation utilising electric vehicles
B Wooding, V Vahidinasab, S Soudjani
2020 International Conference on Smart Energy Systems and Technologies (SEST …, 2020
Formal synthesis of stochastic systems via control barrier certificates
P Jagtap, S Soudjani, M Zamani
IEEE Transactions on Automatic Control 66 (7), 3097-3110, 2020
Robust dynamic programming for temporal logic control of stochastic systems
S Haesaert, S Soudjani
IEEE Transactions on Automatic Control 66 (6), 2496-2511, 2020
On decidability of time-bounded reachability in CTMDPs
R Majumdar, M Salamati, S Soudjani
arXiv preprint arXiv:2006.05498, 2020
Compositional construction of control barrier certificates for large-scale stochastic switched systems
A Nejati, S Soudjani, M Zamani
IEEE Control Systems Letters 4 (4), 845-850, 2020
Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach
A Lavaei, S Soudjani, M Zamani
Nonlinear Analysis: Hybrid Systems 36, 100880, 2020
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems
A Lavaei, M Khaled, S Soudjani, M Zamani
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
Symbolic controller synthesis for Büchi specifications on stochastic systems
R Majumdar, K Mallik, S Soudjani
Proceedings of the 23rd international conference on hybrid systems …, 2020
Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning
A Lavaei, F Somenzi, S Soudjani, A Trivedi, M Zamani
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
Compositional abstraction-based synthesis for networks of stochastic switched systems
A Lavaei, S Soudjani, M Zamani
Automatica 114, 108827, 2020
Compositional (in) finite abstractions for large-scale interconnected stochastic systems
A Lavaei, S Soudjani, M Zamani
IEEE Transactions on Automatic Control 65 (12), 5280-5295, 2020
A Lyapunov approach for time-bounded reachability of CTMCs and CTMDPs
M Salamati, S Soudjani, R Majumdar
ACM Transactions on Modeling and Performance Evaluation of Computing Systems …, 2020
Compositional construction of control barrier functions for networks of continuous-time stochastic systems
A Nejati, S Soudjani, M Zamani
IFAC-PapersOnLine 53 (2), 1856-1861, 2020
Data-driven verification under signal temporal logic constraints
A Salamati, S Soudjani, M Zamani
IFAC-PapersOnLine 53 (2), 69-74, 2020
Formal policy synthesis for continuous-state systems via reinforcement learning
M Kazemi, S Soudjani
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
A Lavaei, M Khaled, S Soudjani, M Zamani
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
Memory-efficient mixed-precision implementations for robust explicit model predictive control
M Salamati, R Salvia, E Darulova, S Soudjani, R Majumdar
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-19, 2019
Compositional construction of infinite abstractions for networks of stochastic control systems
A Lavaei, S Soudjani, M Zamani
Automatica 107, 125-137, 2019
Compositional synthesis of not necessarily stabilizable stochastic systems via finite abstractions
A Lavaei, S Soudjani, M Zamani
2019 18th European Control Conference (ECC), 2802-2807, 2019
Abstraction-based synthesis of continuous-time stochastic control systems
A Nejati, S Soudjani, M Zamani
2019 18th European Control Conference (ECC), 1-6, 2019
ARCH-COMP19 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, K Degiorgio, M Fraenzle, EM Hahn, ...
ARCH@ CPSIoTWeek, 62-102, 2019
Achievements in correct-by-design control for stochastic systems
S Haesaert, S Soudjani
Proceedings of the Fifth International Workshop on Symbolic-Numeric Methods …, 2019
Compositional synthesis of large-scale stochastic systems: A relaxed dissipativity approach
A Lavaei, S Soudjani, M Zamani
arXiv preprint arXiv:1902.01223 264, 2019
Perception-in-the-loop adversarial examples
M Salamati, S Soudjani, R Majumdar
arXiv preprint arXiv:1901.06834, 2019
Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs.
M Salamati, S Soudjani, R Majumdar
CoRR, 2019
Approximate probabilistic relations for compositional abstractions of stochastic systems
A Lavaei, S Soudjani, M Zamani
Numerical Software Verification: 12th International Workshop, NSV 2019, New …, 2019
Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances
SS Farahani, R Majumdar, VS Prabhu, S Soudjani
IEEE Transactions on Automatic Control 64 (8), 3324-3331, 2018
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
ARCH-COMP18 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...
ARCH@ ADHS 54, 71-103, 2018
Compositional synthesis of finite-state abstractions
K Mallik, AK Schmuck, S Soudjani, R Majumdar
IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018
Formal controller synthesis for wastewater systems with signal temporal logic constraints: The Barcelona case study
SS Farahani, S Soudjani, R Majumdar, C Ocampo-Martinez
Journal of Process Control 69, 179-191, 2018
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs
A Lavaei, S Soudjani, M Zamani
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
From dissipativity theory to compositional construction of finite Markov decision processes
A Lavaei, S Soudjani, M Zamani
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
Automated exploration of parameter spaces as a method for tuning a predictive digital twin
C Gamble, R Payne, J Fitzgerald, S Soudjani, FF Foldager, PG Larsen
Submitted for publication, 2018
Compositional synthesis of finite abstractions for continuous-space stochastic control systems: A small-gain approach
A Lavaei, S Soudjani, M Zamani
IFAC-PapersOnLine 51 (16), 265-270, 2018
Concentration of measure for chance-constrained optimization
S Soudjani, R Majumdar
IFAC-PapersOnLine 51 (16), 277-282, 2018
Approximate time bounded reachability for ctmcs and ctmdps: A lyapunov approach
M Salamati, S Soudjani, R Majumdar
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
Temporal logic control of general Markov decision processes by approximate policy refinement
S Haesaert, S Soudjani, A Abate
IFAC-PapersOnLine 51 (16), 73-78, 2018
Compositional abstractions of interconnected discrete-time stochastic control systems
A Lavaei, SEZ Soudjani, R Majumdar, M Zamani
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 3551-3556, 2017
Compositional construction of finite state abstractions for stochastic control systems
K Mallik, SEZ Soudjani, AK Schmuck, R Majumdar
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 550-557, 2017
Robust model predictive control with signal temporal logic constraints for Barcelona wastewater system
SS Farahani, SEZ Soudjani, R Majumdar, C Ocampo-Martinez
IFAC-PapersOnLine 50 (1), 6594-6600, 2017
Shrinking horizon model predictive control with chance-constrained signal temporal logic specifications
SS Farahani, R Majumdar, VS Prabhu, SEZ Soudjani
2017 American Control Conference (ACC), 1740-1746, 2017
The robot routing problem for collecting aggregate stochastic rewards
R Dimitrova, I Gavran, R Majumdar, VS Prabhu, SEZ Soudjani
arXiv preprint arXiv:1704.05303, 2017
Controller synthesis for reward collecting Markov processes in continuous space
S Esmaeil Zadeh Soudjani, R Majumdar
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
Dynamic Bayesian networks for formal verification of structured stochastic processes
S Esmaeil Zadeh Soudjani, A Abate, R Majumdar
Acta Informatica 54, 217-242, 2017
Verification of general Markov decision processes by approximate similarity relations and policy refinement
AA Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani
SIAM J. Control and Optimization, 2333-2367, 2017
Multilevel monte carlo method for statistical model checking of hybrid systems
S Esmaeil Zadeh Soudjani, R Majumdar, T Nagapetyan
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
Compositional abstraction-based controller synthesis for continuous-time systems
K Mallik, AK Schmuck, S Soudjani, R Majumdar
arXiv preprint arXiv:1612.08515, 2016
Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems
V Rostampour, D Adzkiya, SEZ Soudjani, B De Schutter, T Keviczky
2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2016
Formal and Data Association Aware Robust Belief Space Planning
S Pathak, S Soudjani, V Indelman, A Abate
STAIRS 2016, 87-98, 2016
Safety verification of continuous-space pure jump Markov processes
S Esmaeil Zadeh Soudjani, R Majumdar, A Abate
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
Exercise 5 A brief introduction to LMIs
S Soudjani, MS Darup, D Raman
Formal verification of stochastic max-plus-linear systems
SEZ Soudjani, D Adzkiya, A Abate
IEEE Transactions on Automatic Control 61 (10), 2861-2876, 2015
Quantitative approximation of the probability distribution of a Markov process by formal abstractions
SEZ Soudjani, A Abate
Logical Methods in Computer Science 11, 2015
Dynamic Bayesian networks as formal abstractions of structured stochastic processes
SEZ Soudjani, A Abate, R Majumdar
arXiv preprint arXiv:1507.00509, 2015
FAUST: F ormal A bstractions of U ncountable-ST ate ST ochastic Processes
SEZ Soudjani, C Gevaerts, A Abate
International conference on tools and algorithms for the construction and …, 2015
FAUST2: Formal Abstractions of Uncountable-STate STochastic Processes
Z Esmaeil, S Soudjani, C Gevaerts, A Abate
21st International Conference on Tools and Algorithms for the Construction …, 2015
Formal abstractions for automated verification and synthesis of stochastic systems
S Soudjani
Ph. D. dissertation, 2014
Aggregation and control of populations of thermostatically controlled loads by formal abstractions
SEZ Soudjani, A Abate
IEEE Transactions on Control Systems Technology 23 (3), 975-990, 2014
Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems
S Esmaeil Zadeh Soudjani
Finite abstractions of stochastic max-plus-linear systems
D Adzkiya, S Esmaeil Zadeh Soudjani, A Abate
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014
Formal synthesis and validation of inhomogeneous thermostatically controlled loads
S Esmaeil Zadeh Soudjani, S Gerwinn, C Ellen, M Fränzle, A Abate
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014
Precise approximations of the probability distribution of a Markov process in time: an application to probabilistic invariance
S Esmaeil Zadeh Soudjani, A Abate
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
Modeling options for demand side participation of thermostatically controlled loads
M Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ...
2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 2013
Aggregation of thermostatically controlled loads by formal abstractions
SEZ Soudjani, A Abate
2013 European Control Conference (ECC), 4232-4237, 2013
Probabilistic reach-avoid computation for partially degenerate stochastic processes
SEZ Soudjani, A Abate
IEEE Transactions on Automatic Control 59 (2), 528-534, 2013
Probabilistic Reachability Computation for Mixed Deterministic-Stochastic Processes
SEZ Soudjani, A Abate
unpublished draft, 2013
Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
S Esmaeil Zadeh Soudjani, A Abate
SIAM Journal on Applied Dynamical Systems 12 (2), 921-956, 2013
Probabilistic invariance of mixed deterministic-stochastic dynamical systems
S Esmaeil Zadeh Soudjani, A Abate
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
Higher-order approximations for verification of stochastic hybrid systems
S Esmaeil Zadeh Soudjani, A Abate
Automated Technology for Verification and Analysis: 10th International …, 2012
Adaptive gridding for abstraction and verification of stochastic hybrid systems
SEZ Soudjani, A Abate
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
NSM Converges to a k-NN Regressor Under Loose Lipschitz Estimates... ET Maddalena and CN Jones 880
L Zino, A Rizzo, M Porfiri, C Califano, CH Moog, M Tranninger, R Seeber, ...