Simone Silvetti

Identifiers

No identifiers captured yet.

Papers (4)

1. A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors cs.LO · 2019 · author #2
2. Signal Convolution Logic cs.LO · 2018 · author #1
3. A Robust Genetic Algorithm for Learning Temporal Specifications from Data cs.AI · 2017 · author #2
4. An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Laura Nenzi 3 shared papers
• Luca Bortolussi 3 shared papers
• Ezio Bartocci 2 shared papers
• Alberto Policriti 1 shared papers
• Josephine Lamp 1 shared papers
• Lu Feng 1 shared papers
• Marc Breton 1 shared papers