Benoît Barbot

Available identifiers

zbMath Open barbot.benoitMaRDI QIDQ1693097

List of research outcomes

Publication	Date of Publication	Type
Analyzing robustness of Angluin's \(L^*\) algorithm in presence of noise	2024-06-27	Paper
Max-entropy sampling for deterministic timed automata under linear duration constraints	2024-05-29	Paper
Wordgen : a Timed word Generation Tool	2024-02-21	Paper
Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise	2024-02-08	Paper
Property-directed verification and robustness certification of recurrent neural networks	2022-06-22	Paper
Uniform sampling for timed automata with application to language inclusion measurement	2018-01-11	Paper
Building power consumption models from executable timed I/O automata specifications	2017-05-19	Paper
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets	2015-08-27	Paper
Coupling and importance sampling for statistical model checking	2012-06-29	Paper
Efficient CTMC Model Checking of Linear Real-Time Objectives	2011-05-19	Paper

Research outcomes over time

This page was built for person: Benoît Barbot