Marcell Vazquez-Chanlatte
- FALCON: Learning Force-Adaptive Humanoid Loco-Manipulation
2025/05/10 by Yuanhang Zhang, Yifu Yuan, Zhang, Yuanhang +17 · 33 citations
Engineering · Neuroscience · #FOS: Computer and information sciences #Motor Control and Adaptation #Robot Manipulation and Learning #Robotic Locomotion and Control #Robotics (cs.RO)
- Interpretable Classification of Time-Series Data using Efficient\n Enumerative Techniques
2019/07/24 by Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Mohammadinejad, Sara +7 · 6 citations
Computer Science · #Time Series Analysis and Forecasting #Advanced Database Systems and Queries
- Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
2024/10/31 by Beyazit Yalcinkaya, Niklas Lauffer, Yalcinkaya, Beyazit +5 · 8 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Modular Robots and Swarm Intelligence #Optimization and Search Problems #Reinforcement Learning in Robotics
- ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
2024/05/03 by Karim Elmaaroufi, Elmaaroufi, Karim, Shanker, Devan +10 · 3 citations
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research
- Learning Task Specifications from Demonstrations
2017/10/11 by Marcell Vazquez-Chanlatte, Susmit Jha, Vazquez-Chanlatte, Marcell +7 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms
- L^*LM: Learning Automata from Examples using Natural Language Oracles
2024/02/10 by Marcell Vazquez-Chanlatte, Vazquez-Chanlatte, Marcell, Karim Elmaaroufi +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Natural Language Processing Techniques #semigroups and automata theory
- A Model Counter's Guide to Probabilistic Systems
2019/03/22 by Marcell Vazquez-Chanlatte, Markus N. Rabe, Vazquez-Chanlatte, Marcell +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms
- Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations
2022/05/25 by Niklas Lauffer, Beyazit Yalcinkaya, Lauffer, Niklas +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning and Algorithms #Software Engineering Research #Software Testing and Debugging Techniques
- Learning Formal Specifications from Membership and Preference Queries
2023/07/19 by Ameesh Shah, Shah, Ameesh, Marcell Vazquez-Chanlatte +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Chemical Synthesis and Analysis #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #semigroups and automata theory
- Diffusion-Based Failure Sampling for Evaluating Safety-Critical Autonomous Systems
2024/06/20 by Harrison Delecki, Marc R. Schlichting, Delecki, Harrison +9 · 3 citations
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Robotics (cs.RO) #Smart Grid Security and Resilience #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering