activity
20192026
most citedSystematic Evaluation of Initial States and Exploration-Exploitation Strategies in PID Auto-Tuning: A Framework-Driven Approach Applied on Mobile Robots

1 citations · 1 across the 8 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.SE2021

Combining Genetic Programming and Model Checking to Generate Environment Assumptions

Khouloud Gaaloul, Claudio Menghi, Shiva Nejati +2

Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component make…