Παρακολούθηση
Toghrul Karimov
Toghrul Karimov
Max Planck Institute for Software Systems
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mpi-sws.org - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
What’s decidable about linear loops?
T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-25, 2022
252022
Deciding ω-regular properties on linear recurrence sequences
S Almagor, T Karimov, E Kelmendi, J Ouaknine, J Worrell
Proceedings of the ACM on Programming Languages 5 (POPL), 1-24, 2021
232021
The pseudo-Skolem problem is decidable
J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, S Soudjani, ...
LIPIcs 202, 2021
132021
On LTL model checking for low-dimensional discrete linear dynamical systems
T Karimov, J Ouaknine, J Worrell
arXiv preprint arXiv:2007.02911, 2020
112020
What’s decidable about discrete linear dynamical systems?
T Karimov, E Kelmendi, J Ouaknine, J Worrell
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
92022
The pseudo-reachability problem for diagonalisable linear dynamical systems
J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, J Worrell
arXiv preprint arXiv:2204.12253, 2022
92022
The power of positivity
T Karimov, E Kelmendi, J Nieuwveld, J Ouaknine, J Worrell
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2023
82023
The orbit problem for parametric linear dynamical systems
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, F Luca, ...
arXiv preprint arXiv:2104.10634, 2021
72021
Reachability in dynamical systems with rounding
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
arXiv preprint arXiv:2009.13353, 2020
72020
Algorithmic verification of linear dynamical systems
T Karimov
Saarländische Universitäts-und Landesbibliothek, 2023
32023
On the decidability of Presburger arithmetic expanded with powers
T Karimov, F Luca, J Nieuwveld, J Ouaknine, J Worrell
arXiv preprint arXiv:2407.05191, 2024
22024
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
V Berthé, T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell
arXiv preprint arXiv:2405.07953, 2024
22024
The monadic theory of toric words
V Berthé, T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell
Theoretical Computer Science, 114959, 2024
12024
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
33rd International Conference on Concurrency Theory (CONCUR 2022), 2022
12022
Model Checking Markov Chains as Distribution Transformers
R Aghamov, C Baier, T Karimov, J Nieuwveld, J Ouaknine, J Piribauer, ...
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
2024
Verification of Linear Dynamical Systems via O-Minimality of Real Numbers
T Karimov, J Ouaknine, J Worrell
arXiv preprint arXiv:2410.13053, 2024
2024
Linear dynamical systems with continuous weight functions
R Aghamov, C Baier, T Karimov, J Ouaknine, J Piribauer
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
2024
Multiple Reachability in Linear Dynamical Systems
T Karimov, E Kelmendi, J Ouaknine, J Worrell
arXiv preprint arXiv:2403.06515, 2024
2024
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)
S Arora, A Atserias, YT Lee, J Ouaknine, SA Seshia, A Shpilka, I Adler, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020
2020
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–19