Rajab Aghamov

According to our database, Rajab Aghamov authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.

Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Model Checking Linear Temporal Logic with Standpoint Modalities.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Rupak Majumdar, Joël Ouaknine, Jakob Piribauer, Timm Spork

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

2024

Linear dynamical systems with continuous weight functions.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Model Checking Markov Chains as Distribution Transformers.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024