The following pages link to Benoît Barbot (Q1693097):
Displayed 8 items.
- Uniform sampling for timed automata with application to language inclusion measurement (Q1693099) (← links)
- Property-directed verification and robustness certification of recurrent neural networks (Q2147216) (← links)
- Coupling and Importance Sampling for Statistical Model Checking (Q2894280) (← links)
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) (← links)
- Building Power Consumption Models from Executable Timed I/O Automata Specifications (Q2988984) (← links)
- Efficient CTMC Model Checking of Linear Real-Time Objectives (Q3000642) (← links)
- (Q6191009) (← links)
- Wordgen : a Timed word Generation Tool (Q6202098) (← links)