Collaborated with:S.A.Seshia J.V.Deshmukh X.Jin T.Dreossi D.J.Fremont S.Ghosh E.Kim H.Ravanbakhsh
Talks about:intellig (1) artifici (1) toolkit (1) cluster (1) analysi (1) system (1) formal (1) design (1) verif (1) logic (1)
Person: Marcell Vazquez-Chanlatte
DBLP: Vazquez-Chanlatte:Marcell
Contributed to:
20172019Wrote 2 papers:
- CAV-2017-Vazquez-Chanlatte #clustering #learning #logic
- Logical Clustering and Learning for Time-Series Data (MVC, JVD, XJ, SAS), pp. 305–325.
- CAV-2019-DreossiFGKRVS #analysis #design #named #tool support
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems (TD, DJF, SG, EK, HR, MVC, SAS), pp. 432–442.