Rajab Aghamov: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) |
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt |
||
| Zeile 2: | Zeile 2: | ||
|Vorname=Rajab | |Vorname=Rajab | ||
|Nachname=Aghamov | |Nachname=Aghamov | ||
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik | |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik | ||
|Stellung=Doktorand | |Stellung=Doktorand | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
Version vom 14. März 2025, 15:10 Uhr
Rajab Aghamov
Doktorand Algebraische und logische Grundlagen der Informatik
Neueste Publikationen
Komplette Publikationsliste anzeigen
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with continuous weight functions
In Erika Ábrahám and Manuel Mazo Jr., eds., Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, 22:1--22:11, 2024. ACM
Details
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers
In Nils Jansen and Sebastian Junges and Benjamin Lucien Kaminski and Christoph Matheja and Thomas Noll and Tim Quatmann and Mariëlle Stoelinga and Matthias Volk, eds., Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II, volume 15261 of Lecture Notes in Computer Science, 293--313, 2024. Springer
Details
SECAI
School of Embedded Composite Artificial Intelligence
