Thomas Herault

From MaRDI portal
Person:2848421

Available identifiers

zbMath Open herault.thomasMaRDI QIDQ2848421

List of research outcomes





PublicationDate of PublicationType
Evaluating complex MAC protocols for sensor networks with APMC2015-03-18Paper
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC2013-09-26Paper
Distribution, approximation and probabilistic model checking2013-09-26Paper
Scalability and parallelization of Monte-Carlo tree search2011-02-11Paper
Verification, Model Checking, and Abstract Interpretation2009-05-15Paper
https://portal.mardi4nfdi.de/entity/Q44465982004-02-02Paper

Research outcomes over time

This page was built for person: Thomas Herault

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2848421&oldid=7546994"
Powered by MediaWiki