Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMajid Zamani 0001
Person information
- affiliation: University of Colorado Boulder, USA
- affiliation (former): LMU Munich, Germany
Other persons with the same name
- Majid Zamani — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j58]Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. Autom. 147: 110696 (2023)- [j57]Ameneh Nejati
, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. IEEE Control. Syst. Lett. 7: 223-228 (2023) - [j56]Ali Salamati, Majid Zamani:
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach. IEEE Control. Syst. Lett. 7: 448-453 (2023) - [j55]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani:
Constructing MDP Abstractions Using Data With Formal Guarantees. IEEE Control. Syst. Lett. 7: 460-465 (2023) - [j54]Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani:
Abstraction-Based Verification of Approximate Preopacity for Control Systems. IEEE Control. Syst. Lett. 7: 1087-1092 (2023) - [j53]Mahendra Singh Tomar, Majid Zamani:
Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach. IEEE Control. Syst. Lett. 7: 1476-1481 (2023) - [j52]Christoph Kawan, Andrii Mironchenko, Majid Zamani:
A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems. IEEE Trans. Autom. Control. 68(3): 1447-1462 (2023) - [j51]Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. 68(5): 3011-3024 (2023) - [j50]Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani:
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. IEEE Trans. Control. Netw. Syst. 10(1): 87-99 (2023) - [i76]Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Closure Certificates. CoRR abs/2305.17519 (2023) - 2022
- [j49]Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani:
Secure-by-construction synthesis of cyber-physical systems. Annu. Rev. Control. 53: 30-50 (2022) - [j48]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. Autom. 145: 110513 (2022) - [j47]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146: 110617 (2022) - [j46]Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani:
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates. IEEE Control. Syst. Lett. 6: 890-895 (2022) - [j45]Navid Noroozi, Ali Salamati, Majid Zamani:
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach. IEEE Control. Syst. Lett. 6: 2210-2215 (2022) - [j44]Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. IEEE Control. Syst. Lett. 6: 3247-3252 (2022) - [j43]Mahendra Singh Tomar, Majid Zamani:
Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach. IEEE Control. Syst. Lett. 6: 3289-3294 (2022) - [j42]Navid Noroozi, Andrii Mironchenko, Christoph Kawan, Majid Zamani:
A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks. Eur. J. Control 67: 100634 (2022) - [j41]Ameneh Nejati, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. Leibniz Trans. Embed. Syst. 8(2): 06:1-06:17 (2022) - [j40]Mahendra Singh Tomar, Christoph Kawan, Majid Zamani:
Numerical over-approximation of invariance entropy via finite abstractions. Syst. Control. Lett. 170: 105395 (2022) - [j39]Abolfazl Lavaei, Majid Zamani:
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems. IEEE Trans. Autom. Control. 67(9): 4422-4437 (2022) - [j38]Mahathi Anand, Abolfazl Lavaei, Majid Zamani:
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. IEEE Trans. Autom. Control. 67(10): 5638-5645 (2022) - [c105]Mahendra Singh Tomar, Majid Zamani:
On a notion of entropy for reachability properties. ACC 2022: 781-786 - [c104]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems. ACC 2022: 1575-1581 - [c103]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CCTA 2022: 1278-1284 - [c102]Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani:
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CDC 2022: 2184-2189 - [c101]Abolfazl Lavaei, Peyman Mohajerin Esfahani, Majid Zamani:
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics*. CDC 2022: 7296-7301 - [c100]Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani:
Verification of approximate infinite-step opacity using barrier certificates. ECC 2022: 175-180 - [c99]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
k-Inductive Barrier Certificates for Stochastic Systems. HSCC 2022: 12:1-12:11 - [c98]Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC 2022: 25:1-25:2 - [c97]Ali Salamati, Majid Zamani:
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach. L4DC 2022: 441-452 - [c96]Rameez Wajid, Asad Ullah Awan, Majid Zamani:
Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning. L4DC 2022: 624-636 - [c95]Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani:
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. L4DC 2022: 763-776 - [i75]Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani:
Secure-by-Construction Synthesis of Cyber-Physical Systems. CoRR abs/2202.06677 (2022) - [i74]Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani:
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CoRR abs/2203.10041 (2022) - [i73]Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo:
Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture. CoRR abs/2203.14924 (2022) - [i72]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CoRR abs/2206.00354 (2022) - [i71]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani:
Constructing MDP Abstractions Using Data with Formal Guarantees. CoRR abs/2206.14402 (2022) - [i70]Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR abs/2208.03485 (2022) - [i69]Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani:
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems. CoRR abs/2211.04098 (2022) - 2021
- [j37]Siyuan Liu, Majid Zamani:
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. Autom. 131: 109745 (2021) - [j36]Ali Salamati, Sadegh Soudjani, Majid Zamani:
Data-driven verification of stochastic linear systems with signal temporal logic constraints. Autom. 131: 109781 (2021) - [j35]Abdalla Swikir, Antoine Girard, Majid Zamani:
Symbolic Models for a Class of Impulsive Systems. IEEE Control. Syst. Lett. 5(1): 247-252 (2021) - [j34]Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani:
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. IEEE Control. Syst. Lett. 5(1): 253-258 (2021) - [j33]Siyuan Liu, Majid Zamani:
Verification of Approximate Opacity via Barrier Certificates. IEEE Control. Syst. Lett. 5(4): 1369-1374 (2021) - [j32]Mahmoud Khaled, Majid Zamani:
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. IEEE Des. Test 38(5): 25-34 (2021) - [j31]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Eur. J. Control 57: 82-94 (2021) - [j30]Andrii Mironchenko, Navid Noroozi, Christoph Kawan, Majid Zamani:
ISS small-gain criteria for infinite networks with linear gain functions. Syst. Control. Lett. 157: 105051 (2021) - [j29]Xiang Yin, Majid Zamani, Siyuan Liu:
On Approximate Opacity of Cyber-Physical Systems. IEEE Trans. Autom. Control. 66(4): 1630-1645 (2021) - [j28]Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Trans. Autom. Control. 66(7): 3097-3110 (2021) - [j27]Mahendra Singh Tomar, Matthias Rungger, Majid Zamani:
Invariance Feedback Entropy of Uncertain Control Systems. IEEE Trans. Autom. Control. 66(12): 5680-5695 (2021) - [j26]Christoph Kawan, Andrii Mironchenko, Abdalla Swikir, Navid Noroozi, Majid Zamani:
A Lyapunov-Based Small-Gain Theorem for Infinite Networks. IEEE Trans. Autom. Control. 66(12): 5830-5844 (2021) - [j25]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. IEEE Trans. Control. Netw. Syst. 8(2): 702-712 (2021) - [c94]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS 2021: 7-12 - [c93]Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS 2021: 277-282 - [c92]Siyuan Liu, Majid Zamani:
Verification of Approximate Opacity via Barrier Certificates. ACC 2021: 764-769 - [c91]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. CDC 2021: 1314-1320 - [c90]Christoph Kawan, Andrii Mironchenko, Majid Zamani:
Construction of ISS Lyapunov functions for infinite networks of ISS systems. CDC 2021: 4811-4816 - [c89]Andrii Mironchenko, Navid Noroozi, Christoph Kawan, Majid Zamani:
A small-gain approach to ISS of infinite networks with homogeneous gain operators. CDC 2021: 4817-4822 - [c88]Yifan Xie, Xiang Yin, Shaoyuan Li, Majid Zamani:
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications. CDC 2021: 7015-7021 - [c87]Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani:
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. CAADCPS@CPSIoTWeek 2021: 7-8 - [c86]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Formal verification of hyperproperties for control systems. CAADCPS@CPSIoTWeek 2021: 29-30 - [c85]Mahmoud Khaled, Majid Zamani:
OmegaThreads: symbolic controller design for ω-regular objectives. HSCC 2021: 25:1-25:7 - [c84]Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. HSCC 2021: 28:1-28:2 - [c83]Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani:
Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC 2021: 29:1-29:2 - [c82]Mahmoud Khaled, Majid Zamani:
OmegaThreads: symbolic controller design for ω-regular objectives. HSCC 2021: 33:1-33:2 - [i68]Mahathi Anand, Abolfazl Lavaei, Majid Zamani:
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. CoRR abs/2101.06916 (2021) - [i67]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR abs/2101.07491 (2021) - [i66]Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani:
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems. CoRR abs/2101.08873 (2021) - [i65]Siyuan Liu, Navid Noroozi, Majid Zamani:
Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach. CoRR abs/2102.03327 (2021) - [i64]Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo:
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems. CoRR abs/2102.05490 (2021) - [i63]Mahathi Anand, Abolfazl Lavaei, Majid Zamani:
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. CoRR abs/2103.02226 (2021) - [i62]Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani:
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. CoRR abs/2103.05906 (2021) - [i61]Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. CoRR abs/2104.11803 (2021) - [i60]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. CoRR abs/2105.05493 (2021) - [i59]Siyuan Liu, Majid Zamani:
Verification of Approximate Opacity via Barrier Certificates. CoRR abs/2109.10993 (2021) - [i58]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
Sandboxing Controllers for Stochastic Cyber-Physical Systems. CoRR abs/2109.11264 (2021) - [i57]Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani:
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. CoRR abs/2109.11477 (2021) - [i56]Siyuan Liu, Majid Zamani:
Compositional synthesis of almost maximally permissible safety controllers. CoRR abs/2109.11977 (2021) - [i55]Siyuan Liu, Abdalla Swikir, Majid Zamani:
Compositional Verification of Initial-State Opacity for Switched Systems. CoRR abs/2109.12024 (2021) - [i54]Mahathi Anand, Pushpak Jagtap, Majid Zamani:
Verification of Switched Stochastic Systems via Barrier Certificates. CoRR abs/2109.12420 (2021) - [i53]Abdalla Swikir, Majid Zamani:
Compositional Abstractions of Interconnected Discrete-Time Switched Systems. CoRR abs/2109.13599 (2021) - [i52]Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani:
Compositional Construction of Abstractions for Infinite Networks of Switched Systems. CoRR abs/2109.13832 (2021) - [i51]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach. CoRR abs/2111.08734 (2021) - [i50]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven verification and synthesis of stochastic systems through barrier certificates. CoRR abs/2111.10330 (2021) - [i49]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. CoRR abs/2112.12709 (2021) - 2020
- [j24]Pushpak Jagtap, Majid Zamani:
Symbolic models for retarded jump-diffusion systems. Autom. 111 (2020) - [j23]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. 114: 108827 (2020) - [j22]Stanley W. Smith, Murat Arcak, Majid Zamani:
Approximate abstractions of control systems with an application to aggregation. Autom. 119: 109065 (2020) - [j21]Mahendra Singh Tomar, Majid Zamani:
Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems. IEEE Control. Syst. Lett. 4(4): 827-832 (2020) - [j20]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control. Syst. Lett. 4(4): 845-850 (2020) - [j19]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. IEEE Trans. Autom. Control. 65(12): 5280-5295 (2020) - [j18]Asad Ullah Awan, Majid Zamani:
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems. IEEE Trans. Control. Netw. Syst. 7(1): 433-445 (2020) - [j17]Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo:
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. ACM Trans. Cyber Phys. Syst. 4(4): 47:1-47:20 (2020) - [c81]Siyuan Liu, Xiang Yin, Majid Zamani:
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. ACC 2020: 5413-5418 - [c80]Mohammad Al Khatib, Majid Zamani:
Controller synthesis for interconnected systems using parametric assume-guarantee contracts. ACC 2020: 5419-5424 - [c79]Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani:
ARCH-COMP20 Category Report: Stochastic Models. ARCH 2020: 76-106 - [c78]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) 2020: 461-474 - [c77]Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani:
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CAV (1) 2020: 556-568 - [c76]Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani:
Compositional Construction of Abstractions for Infinite Networks of Switched Systems. CDC 2020: 476-481 - [c75]Mobin Shahamat, Javad Askari, Abdalla Swikir, Navid Noroozi, Majid Zamani:
Construction of continuous abstractions for discrete-time time-delay systems. CDC 2020: 881-886 - [c74]Siyuan Liu, Abdalla Swikir, Majid Zamani:
Compositional Verification of Initial-State Opacity for Switched Systems. CDC 2020: 2146-2151 - [c73]Pushpak Jagtap, George J. Pappas, Majid Zamani:
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CDC 2020: 3699-3704 - [c72]Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani:
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. CDC 2020: 4460-4466 - [c71]Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: decision tree learning algorithms for controller representation. HSCC 2020: 17:1-17:7 - [c70]Pushpak Jagtap, Abdalla Swikir, Majid Zamani:
Compositional construction of control barrier functions for interconnected control systems. HSCC 2020: 22:1-22:11 - [c69]Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: decision tree learning algorithms for controller representation. HSCC 2020: 30:1-30:2 - [c68]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. HSCC 2020: 31:1-31:2 - [c67]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS 2020: 98-107 - [i48]Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani:
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CoRR abs/2001.10635 (2020) - [i47]Pushpak Jagtap, Abdalla Swikir, Majid Zamani:
Compositional Construction of Control Barrier Functions for Interconnected Control Systems. CoRR abs/2002.00257 (2020) - [i46]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. CoRR abs/2002.02014 (2020) - [i45]Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR abs/2002.04991 (2020) - [i44]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR abs/2003.00712 (2020) - [i43]Siyuan Liu, Majid Zamani:
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems. CoRR abs/2004.00131 (2020) - [i42]