 | Up a level |
Gasieniec, Leszek 
ORCID: 0000-0003-1809-9814, Klasing, Ralf, Levcopoulos, Christos, Lingas, Andrzej, Min, Jie and Radzik, Tomasz
(2017)
Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors).
.
Akrida, Eleni C ORCID: 0000-0002-1126-1623, Mertzios, George B, Nikoletseas, Sotiris, Raptopoulos, Christoforos, Spirakis, Paul G ORCID: 0000-0001-5396-3749 and Zamaraev, Viktor ORCID: 0000-0001-5755-4141
(2019)
How fast can we reach a target vertex in stochastic temporal graphs?
Leibniz International Proceedings in Informatics, LIPIcs, 132.
131:1-131:1.
Ko, Sang-Ki and Potapov, Igor
(2016)
Matrix Semigroup Freeness Problems in $\mathrm{SL}(2,\mathbb{Z})$.
.
Baier, Christel, Funke, Florian, Jantsch, Simon, Karimov, Toghrul, Lefaucheux, Engel, Luca, Florian, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634, Whiteland, Markus A and Worrell, James
(2021)
The Orbit Problem for Parametric Linear Dynamical Systems.
In: 32nd International Conference on Concurrency Theory (CONCUR 2021).
Baier, Christel, Funke, Florian, Jantsch, Simon, Karimov, Toghrul, Lefaucheux, Engel, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634, Whiteland, Markus A and Worrell, James
(2022)
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications.
In: 33rd International Conference on Concurrency Theory (CONCUR 2022).