Rajab Aghamov

According to our database, Rajab Aghamov authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Model Checking Linear Temporal Logic with Standpoint Modalities.

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

CoRR, February, 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