| No. |
Title |
Author |
Year |
| 1 |
On Robustness for the Skolem and Positivity Problems |
Akshay, S. et al. |
2022 |
| 2 |
On Synthesizing Computable Skolem Functions for First Order Logic |
Chakraborty, Supratik et al. |
2022 |
| 3 |
Simulations for Event-Clock Automata |
Akshay, S. et al. |
2022 |
| 4 |
Resilience of Timed Systems |
Akshay, S. et al. |
2021 |
| 5 |
Near-Optimal Complexity Bounds for Fragments of the Skolem Problem |
Akshay, S. et al. |
2020 |
| 6 |
Classification Among Hidden Markov Models |
Akshay, S. et al. |
2019 |
| 7 |
On Petri Nets with Hierarchical Special Arcs |
Akshay, S. et al. |
2017 |
| 8 |
Towards an Efficient Tree Automata Based Technique for Timed Systems |
Akshay, S. et al. |
2017 |
| 9 |
Analyzing Timed Systems Using Tree Automata |
Akshay, S. et al. |
2016 |
| 10 |
Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers |
Lal, Akash et al. |
2016 |
| 11 |
LIPICs, Volume 65, FSTTCS'16, Complete Volume |
Lal, Akash et al. |
2016 |
| 12 |
On Regularity of Unary Probabilistic Automata |
Akshay, S. et al. |
2016 |
| 13 |
Stochastic Timed Games Revisited |
Akshay, S. et al. |
2016 |
| 14 |
Implementing Realistic Asynchronous Automata |
Akshay, S. et al. |
2013 |
| 15 |
Model checking time-constrained scenario-based specifications |
Akshay, S. et al. |
2010 |
