Sylvain Peyronnet

International Conference on Verification, Model Checking and Abstract Interpretation · 2004

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

Whom Sylvain Peyronnet trusts overall

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

  1. W. Hoeffding

Who trusts Sylvain Peyronnet overall

  1. Marta Z. Kwiatkowska

Papers from Sylvain Peyronnet's perspective

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

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

Their papers