Marcell Vazquez-Chanlatte

Available identifiers

zbMath Open vazquez-chanlatte.marcellMaRDI QIDQ832293

List of research outcomes

Publication	Date of Publication	Type
Formal specification for deep neural networks	2023-07-28	Paper
Logical clustering and learning for time-series data	2022-07-01	Paper
Model checking finite-horizon Markov chains with probabilistic inference	2022-03-25	Paper
Maximum causal entropy specification inference from demonstrations	2021-02-09	Paper
Interpretable classification of time-series data using efficient enumerative techniques	2021-01-25	Paper

Research outcomes over time

This page was built for person: Marcell Vazquez-Chanlatte