Skip to content Skip to footer

Research Portal of the TU Dresden

Rajab Aghamov Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- rajab.aghamov@tu-dresden.de

Identification Numbers

Scopus author ID	57219499155

Linear dynamical systems with weight functions

Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., May 2026, In: Nonlinear Analysis: Hybrid Systems. 60, 101680.

Research output: Contribution to journal › Research article › Contributed › peer-review

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks

Aghamov, R., Baier, C., Ouaknine, J., Piribauer, J., Vahanwala, M. & Vialard, I., Mar 2026, Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence. Koenig, S., Jenkins, C. & Taylor, M. E. (eds.). Association for the Advancement of Artificial Intelligence, p. 36601-36609 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 43, Vol. 40).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Model Checking Linear Temporal Logic with Standpoint Modalities

Aghamov, R., Baier, C., Karimov, T., Majumdar, R., Ouaknine, J., Piribauer, J. & Spork, T., Nov 2025, KR 2025 - Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. Ortiz, M., Wassermann, R. & Schaub, T. (eds.). Association for the Advancement of Artificial Intelligence, p. 2-11 10 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning, Vol. 2025-November).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Model Checking Markov Chains as Distribution Transformers

Aghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Springer, Cham, p. 293-313 21 p. (Lecture Notes in Computer Science, Vol. 15261).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

Linear dynamical systems with continuous weight functions

Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 May 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery (ACM), p. 22:1-22:11 11 p. 22. (CPSWeek: Cyber-physical Systems).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (5)

ACM SIGBED HSCC Best Paper Award

Aghamov, R. (Recipient), Piribauer, J. (Recipient), Baier, C. (Recipient), Karimov, T. (Recipient) & Ouaknine, J. (Recipient), 2024

Prize: Publication/Conference prize

View all prizes (1)

Research Portal of the TU Dresden

Affiliations

Identification Numbers

Related content