ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Xin Chen 002; Chuchu Fan; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Mahendra Singh Tomar; Majid Zamani 001 (ARCH@ADHS, 2018)

Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. - Mahendra Singh Tomar; Christoph Kawan; Pushpak Jagtap; Majid Zamani 001 (CoRR, 2020)

Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems. - Mahendra Singh Tomar; Majid Zamani 001 (IEEE Control. Syst. Lett., 2020)

Invariance Feedback Entropy of Uncertain Control Systems. - Mahendra Singh Tomar; Matthias Rungger; Majid Zamani 001 (IEEE Trans. Autom. Control., 2021)

On a notion of entropy for reachability properties. - Mahendra Singh Tomar; Majid Zamani 001 (ACC, 2022)

Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach. - Mahendra Singh Tomar; Majid Zamani 001 (IEEE Control. Syst. Lett., 2022)

Numerical over-approximation of invariance entropy via finite abstractions. - Mahendra Singh Tomar; Christoph Kawan; Majid Zamani 001 (Syst. Control. Lett., 2022)

Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach. - Mahendra Singh Tomar; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)