Benoît Barbot

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Analyzing robustness of Angluin's \(L^\) algorithm in presence of noise Logical Methods in Computer Science*	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 Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Analyzing robustness of Angluin's \(\mathrm{L}^\ast\) algorithm in presence of noise (available as arXiv preprint)	2024-02-08	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 Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets Application and Theory of Petri Nets and Concurrency	2015-08-27	Paper
Coupling and importance sampling for statistical model checking Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Efficient CTMC Model Checking of Linear Real-Time Objectives Tools and Algorithms for the Construction and Analysis of Systems	2011-05-19	Paper

Research outcomes over time

This page was built for person: Benoît Barbot