Rajab Aghamov

Orcid: 0000-0001-8770-3523

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

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks.
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025
Model Checking Linear Temporal Logic with Standpoint Modalities.
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

2024
Linear dynamical systems with continuous weight functions.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Model Checking Markov Chains as Distribution Transformers.
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024


  Loading...