Sotabase

Career

· Nissan Labs

Publications (39)

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
International Conference on Computer Aided Verification · 2019
215
cited
Formal Specification for Deep Neural Networks
Automated Technology for Verification and Analysis · 2018
108
cited
Learning Task Specifications from Demonstrations
Neural Information Processing Systems · 2017
77
cited
Logical Clustering and Learning for Time-Series Data
International Conference on Computer Aided Verification · 2016
42
cited
FALCON: Learning Force-Adaptive Humanoid Loco-Manipulation
arXiv.org · 2025
41
cited
Interpretable classification of time-series data using efficient enumerative techniques
International Conference on Hybrid Systems: Computation and Control · 2019
40
cited
Surprise-Guided Search for Learning Task Specifications from Demonstrations
2022
35
cited
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
arXiv.org · 2019
33
cited
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
International Conference on Computer Aided Verification · 2021
20
cited
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
Neural Information Processing Systems · 2024
15
cited
Generating Probabilistic Scenario Programs from Natural Language
arXiv.org · 2024
15
cited
Maximum Causal Entropy Specification Inference from Demonstrations
International Conference on Computer Aided Verification · 2019
14
cited
Learning Monitorable Operational Design Domains for Assured Autonomy
Automated Technology for Verification and Analysis · 2022
13
cited
Time Series Learning using Monotonic Logical Properties
Runtime Verification · 2018
11
cited
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations
Formal Methods in Computer-Aided Design · 2022
7
cited
A Model Counter's Guide to Probabilistic Systems
arXiv.org · 2019
6
cited
L*LM: Learning Automata from Examples using Natural Language Oracles
arXiv.org · 2024
6
cited
Automata Conditioned Reinforcement Learning with Experience Replay
5
cited
Learning Formal Specifications from Membership and Preference Queries
NeuS · 2023
5
cited
Diffusion-Based Failure Sampling for Evaluating Safety-Critical Autonomous Systems
Eras · 2024
4
cited
Sotabase
Marcell Vazquez-Chanlatte | Researcher Profile | Sotabase | Sotabase