Login / Signup
Rajab Aghamov
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Model Checking
Linear Dynamical Systems
Pspace Complete
Transition Matrix
Top Venues
HSCC
CoRR
</>
Publications
</>
Rajab Aghamov
,
Christel Baier
,
Toghrul Karimov
,
Joël Ouaknine
,
Jakob Piribauer
Linear dynamical systems with continuous weight functions.
HSCC
(2024)
Rajab Aghamov
,
Christel Baier
,
Toghrul Karimov
,
Joris Nieuwveld
,
Joël Ouaknine
,
Jakob Piribauer
,
Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers.
CoRR
(2024)