Vasumathi Raman

Computational Theory and Mathematics · 2014–2017

A researcher in the Science corpus: 2 papers; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Vasumathi Raman trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Johan Löfberg
  2. Alexandre Donzé
  3. Oded Maler
  4. Lydia E. Kavraki
  5. Susmit Jha

Papers from Vasumathi Raman's perspective

Ordered by how strongly the researchers Vasumathi Raman trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Robust Satisfaction of Temporal Logic over Real-Valued Signals (International Conference on Formal Modeling and Analysis of Timed Systems)
  2. Monitoring Temporal Properties of Continuous Signals (FORMATS/FTRTFT)
  3. Receding Horizon Temporal Logic Planning (IEEE Transactions on Automatic Control)
  4. YALMIP : a toolbox for modeling and optimization in MATLAB
  5. Oracle-guided component-based program synthesis
  6. Automated Planning: Theory and Practice
  7. Association for Computational Linguistics " Why Should I Trust You? " Explaining the Predictions of Any Classifier
  8. A general lower bound on the number of examples needed for learning
  9. Generating Explanations Based on Markov Decision Processes
  10. Motion Planning

Their papers