Researcher profile
Shankara Narayanan Krishna
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
Quantitative Learning of LTL from Finite Traces
2021 · arXiv (Cornell University)
In this paper, we present a novel method for learning LTL properties from a set of traces. The main novelty of our method, as compared to many existing ones, is that we learn formulae in …
-
LTL-Based Non-Markovian Inverse Reinforcement Learning
2021 · arXiv (Cornell University)
The successes of reinforcement learning in recent years are underpinned by the characterization of suitable reward functions. However, in settings where such rewards are non-intuitive, difficult to define, or otherwise error-prone in their definition, it …