Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Rajab Aghamov Master of Science
Person

Zugehörigkeiten

Professur für Algebraische und logische Grundlagen der Informatik
- Wissenschaftliches Personal
- rajab.aghamov@tu-dresden.de

Identifizierungsnummern

Scopus Autor ID	57219499155

Veröffentlichungen
Auszeichnungen

Linear dynamical systems with weight functions

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks

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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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. (Hrsg.). Association for the Advancement of Artificial Intelligence, S. 2-11 10 S. (Proceedings of the International Conference on Knowledge Representation and Reasoning, Band 2025-November).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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, S. 293-313 21 S. (Lecture Notes in Computer Science, Band 15261).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

Linear dynamical systems with continuous weight functions

Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 Mai 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), S. 22:1-22:11 11 S. 22. (CPSWeek: Cyber-physical Systems).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (5)

ACM SIGBED HSCC Best Paper Award

Aghamov, R. (Empfänger:in), Piribauer, J. (Empfänger:in), Baier, C. (Empfänger:in), Karimov, T. (Empfänger:in) & Ouaknine, J. (Empfänger:in), 2024

Auszeichnung: Preis › Publikations-/Konferenzpreis

Alle Auszeichnungen ansehen (1)