BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: Vazquez-Chanlatte:Marcell

Contributed to:

CAV (1) 20172017
CAV (1) 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.