Benoît Delahaye

Computational Theory and Mathematics · 2010

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

Subfields

Whom Benoît Delahaye trusts

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

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

Papers from Benoît Delahaye's perspective

Ordered by how strongly the researchers Benoît Delahaye trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (International Conference on Computer Aided Verification)
  2. Approximate Probabilistic Model Checking (International Conference on Verification, Model Checking and Abstract Interpretation)
  3. Model-checking continuous-time Markov chains (ACM Transactions on Computational Logic)
  4. Learning Metric-Topological Maps for Indoor Mobile Robot Navigation
  5. Communication in reactive multiagent robotic systems
  6. Collaborative multi-robot exploration (Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065))
  7. 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))
  8. Dynamic Programming and Markov Processes
  9. Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))
  10. I Computational Complexity

Their papers