PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Shankara Narayanan Krishna

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. 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 …

  2. 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 …