No. |
Title |
Author |
Year |
---|

1 |
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications |
Baier, Christel et al. |
2022 |

2 |
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems |
D'Costa, Julian et al. |
2022 |

3 |
The Orbit Problem for Parametric Linear Dynamical Systems |
Baier, Christel et al. |
2021 |

4 |
The Pseudo-Skolem Problem is Decidable |
D'Costa, Julian et al. |
2021 |

5 |
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems |
Karimov, Toghrul et al. |
2020 |

6 |
Reachability in Dynamical Systems with Rounding |
Baier, Christel et al. |
2020 |