| No. |
Title |
Author |
Year |
|---|
| 1 |
On Robustness for the Skolem and Positivity Problems |
Akshay, S. et al. |
2022 |
| 2 |
Resilience of Timed Systems |
Akshay, S. et al. |
2021 |
| 3 |
Succinct Population Protocols for Presburger Arithmetic |
Blondin, Michael et al. |
2020 |
| 4 |
Classification Among Hidden Markov Models |
Akshay, S. et al. |
2019 |
| 5 |
Controlling a Population |
Bertrand, Nathalie et al. |
2017 |
| 6 |
On Regularity of Unary Probabilistic Automata |
Akshay, S. et al. |
2016 |
| 7 |
Implementing Realistic Asynchronous Automata |
Akshay, S. et al. |
2013 |
| 8 |
Minimal Disclosure in Partially Observable Markov Decision Processes |
Bertrand, Nathalie et al. |
2011 |
| 9 |
Verifying Recursive Active Documents with Positive Data Tree Rewriting |
Genest, Blaise et al. |
2010 |
