Mahesh Viswanathan

International Conference on Computer Aided Verification · 2004

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

Whom Mahesh Viswanathan trusts

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

  1. Reid G. Simmons (in Computational Theory and Mathematics)

Papers from Mahesh Viswanathan's perspective

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

  1. Model-checking continuous-time Markov chains (ACM Transactions on Computational Logic)
  2. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (International Conference on Computer Aided Verification)
  3. PRISM: Probabilistic Symbolic Model Checker (Computer Performance Evaluation / TOOLS)
  4. Approximate Probabilistic Model Checking (International Conference on Verification, Model Checking and Abstract Interpretation)
  5. Mathematical Statistics
  6. Learning Metric-Topological Maps for Indoor Mobile Robot Navigation
  7. Communication in reactive multiagent robotic systems
  8. Collaborative multi-robot exploration (Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065))
  9. A real-time algorithm for mobile robot mapping with applications to multi-robot and 3D mapping (Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065))
  10. Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))

Their papers