Researcher Portfolio

Dr. Dr. h.c. Ciklauri-Lammich, Eliko

Criminology, Max Planck Institute for Foreign and International Criminal Law, Max Planck Society

Researcher Profile

Position: Criminology, Max Planck Institute for Foreign and International Criminal Law, Max Planck Society

Researcher ID: https://pure.mpg.de/cone/persons/resource/persons212137

External references

WorldCat Search for Ciklauri-Lammich, Eliko

Google Scholar Search for Ciklauri-Lammich, Eliko

Publications

(1 - 25 of 27)

Prev12Next

: Bahari Kordabad, A., Majumdar, R., Motwani, H. J., & Soudjani, S. (2025). On Certificates for Almost Sure Reachability in Stochastic Systems. doi:10.48550/arXiv.2507.20194. [PubMan] : Isaacs, R., Alvaro, P., Majumdar, R., Muniswamy-Reddy, K.-K., Salamati, M., & Soudjani, S. (2025). Analyzing Metastable Failures. In Proceedings of the 2025 Workshop on Hot Topics in Operating Systems (pp. 172-178). New York, NY: AMC. doi:10.1145/3713082.3730380. [PubMan] : Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. In C. Enea, & A. Lal (Eds.), Computer Aided Verification (pp. 3-15). Berlin: Springer. doi:10.1007/978-3-031-37709-9_1. [PubMan] : Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). Poster Abstract: A Toolchain for Accelerated Symbolic Control. In HSCC 2023 (pp. 1-2). New York, NY: ACM. doi:10.1145/3575870.3589554. [PubMan] : Kazemi, M., Majumdar, R., Salamati, M., Soudjani, S., & Wooding, B. (2022). Data-Driven Abstraction-Based Control Synthesis. Retrieved from https://arxiv.org/abs/2206.08069. [PubMan] : Majumdar, R., & Soudjani, S. (2021). The Computability of LQR and LQG Control. In HSCC2021 (pp. 1-7). New York, NY: ACM. doi:10.1145/3447928.3456634. [PubMan] : Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2021). Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. IFAC-PapersOnLine, 54(5), 127-132. doi:10.1016/j.ifacol.2021.08.486. [PubMan] : Majumdar, R., Mallik, K., Salamati, M., Soudjani, S., & Zareian, M. (2021). Symbolic Reach-Avoid Control of Multi-Agent Systems. In ICCPS '21 (pp. 209-220). New York, NY: ACM. doi:10.1145/3450267.3450548. [PubMan] : D'Costa, J., Karimov, T., Majumdar, R., Ouaknine, J., Salamati, M., Soudjani, S., & Worrell, J. (2021). The Pseudo-Skolem Problem is Decidable. In F. Bonchi, & S. J. Puglisi (Eds.), 46th International Symposium on Mathematical Foundations of Computer Science (pp. 1-21). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.MFCS.2021.34. [PubMan] : Salamati, M., Soudjani, S., & Majumdar, R. (2020). A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 5(1): 2. doi:10.1145/3371923. [PubMan] : Majumdar, R., Mallik, K., & Soudjani, S. (2020). Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. In HSCC2020 (pp. 1-11). New York, NY: ACM. doi:10.1145/3365365.3382214. [PubMan] : Majumdar, R., Salamati, M., & Soudjani, S. (2020). On Decidability of Time-Bounded Reachability in CTMDPs. In A. Czumaj, A. Dawar, & E. Merelli (Eds.), 47th International Colloquium on Automata, Languages, and Programming (pp. 1-19). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ICALP.2020.133. [PubMan] : Mallik, K., Schmuck, A.-K., Soudjani, S., & Majumdar, R. (2019). Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control, 64(6), 2629-2636. doi:10.1109/TAC.2018.2869740. [PubMan] : Farahani, S. S., Majumdar, R., Prabhu, V., & Soudjani, S. (2019). Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances. IEEE Transactions on Automatic Control, 64(8), 3324-3331. doi:10.1109/TAC.2018.2880651. [PubMan] : Soudjani, S., & Majumdar, R. (2018). Concentration of Measure for Chance-Constrained Optimization. IFAC-PapersOnLine, 51(16), 277-282. doi:10.1016/j.ifacol.2018.08.047. [PubMan] : Salamati, M., Soudjani, S., & Majumdar, R. (2018). Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. In A. McIver, & A. Horvath (Eds.), Quantitative Evaluation of Systems (pp. 389-406). Berlin: Springer. doi:10.1007/978-3-319-99154-2_24. [PubMan] : Dimitrova, R., Gavran, I., Majumdar, R., Prabhu, V., & Soudjani, S. (2017). The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. Retrieved from http://arxiv.org/abs/1704.05303. [PubMan] : Mallik, K., Soudjani, S., Schmuck, A.-K., & Majumdar, R. (2017). Compositional Construction of Finite State Abstractions for Stochastic Control Systems. In IEEE 56th Annual Conference on Decision and Control (pp. 550-557). Piscataway, NJ: IEEE. doi:10.1109/CDC.2017.8263720. [PubMan] : Mallik, K., Soudjani, S., Schmuck, A.-K., & Majumdar, R. (2017). Compositional Construction of Finite State Abstractions for Stochastic Control Systems. Retrieved from http://arxiv.org/abs/1709.09546. [PubMan] : Dimitrova, R., Gavran, I., Majumdar, R., Prabhu, V., & Soudjani, S. (2017). The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. In R. Meyer, & U. Nestmann (Eds.), 28th International Conference on Concurrency Theory (pp. 1-17). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.CONCUR.2017.13. [PubMan] : Soudjani, S., Majumdar, R., & Nagapetyan, T. (2017). Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. In N. Bertrand, & L. Bortolussi (Eds.), Quantitative Evaluation of Systems (pp. 351-367). Berlin: Springer. doi:10.1007/978-3-319-66335-7_24. [PubMan] : Farahani, S. S., Majumdar, R., Prabhu, V., & Soudjani, S. (2017). Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. Retrieved from http://arxiv.org/abs/1705.02152. [PubMan] : Lavaei, A., Soudjani, S., Majumdar, R., & Zamani, M. (2017). Compositional Abstractions of Interconnected Discrete-time Stochastic Control Systems. In IEEE 56th Annual Conference on Decision and Control (pp. 3551-3556). Piscataway, NJ: IEEE. doi:10.1109/CDC.2017.8264180. [PubMan] : Soudjani, S., & Majumdar, R. (2017). Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. In HSCC'17 (pp. 45-54). New York, NY: ACM. doi:10.1145/3049797.3049827. [PubMan] : Lavaei, A., Soudjani, S., Majumdar, R., & Zamani, M. (2017). Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. Retrieved from http://arxiv.org/abs/1709.10312. [PubMan]