45 citations · 149 across the 52 of their papers we have counts for
5 papers · 1 filter
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi +3
We characterize the class of nondeterministic -automata that can be used for the analysis of finite Markov decision processes (MDPs). We call these automata `good-for-MDPs' (GFM…
Regular Model Checking with Regular Relations
Vrunda Dave, Taylor Dohmen, Shankara Narayana Krishna +1
Regular model checking is an exploration technique for infinite state systems where state spaces are represented as regular languages and transition relations are expressed using r…
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Saeid Tizpaz-Niari, Pavol Cerny, Sriram Sankaranarayanan +1
Detection and quantification of information leaks through timing side channels are important to guarantee confidentiality. Although static analysis remains the prevalent approach f…
Quantitative Mitigation of Timing Side Channels
Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
Timing side channels pose a significant threat to the security and privacy of software applications. We propose an approach for mitigating this problem by decreasing the strength o…
On Timed Scope-bounded Context-sensitive Languages
Devendra. Bhave, S. N. Krishna, Ramchandra Phawade +1
In (DLT 2016) we studied timed context sensitive languages characterized by multiple stack push down automata (MPA), with an explicit bound on number of stages where in each stage…