The following pages link to Alexandre Donzé (Q243963):
Displayed 16 items.
- Compositional falsification of cyber-physical systems with machine learning components (Q2331078) (← links)
- Robust online monitoring of signal temporal logic (Q2402548) (← links)
- Mining requirements from closed-loop control models (Q2986909) (← links)
- Reactive synthesis from signal temporal logic specifications (Q2988945) (← links)
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications (Q2988959) (← links)
- Robust Satisfaction of Temporal Logic over Real-Valued Signals (Q3588086) (← links)
- Systematic Simulation Using Sensitivity Analysis (Q3612969) (← links)
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models (Q3624570) (← links)
- On Temporal Logic and Signal Processing (Q4649290) (← links)
- Interpretable classification of time-series data using efficient enumerative techniques (Q5146371) (← links)
- Interface-aware signal temporal logic (Q5239220) (← links)
- (Q5275388) (← links)
- Formal Methods in Computer-Aided Design (Q5492964) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
- Multi-Requirement Testing Using Focused Falsification (Q6120692) (← links)
- Wordgen : a Timed word Generation Tool (Q6202098) (← links)