Scholar
Marcell Vazquez-Chanlatte
Google Scholar ID: 3WoCRqAAAAAJ
Research Scientist at Nissan
Citations & Impact
Citations
825
H-index
10
i10-index
11
Publications
20
Co-authors
21
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Developed several open-source software projects, including:
- - pyAiger: A Python library for modeling/manipulating sequential circuits, combinatorial circuits, and Boolean expressions as AIGs (co-developed with Markus N. Rabe).
- - pyAiger-BV: Word-level (bitvector) abstractions built on pyAiger (co-developed with Markus N. Rabe).
- - py-Metric-Temporal-Logic: A Python library for Metric Temporal Logic (MTL).
- - DiscreteSignals: An embedded domain-specific language for discrete-time signals with non-uniform time steps.
- - Demonstration Informed Specification Search (DISS): A tool for learning Boolean task specifications from demonstrations.
- - Gridworld Visualizer: Python code for visualizing gridworlds used in research.
- Full list of publications available on Google Scholar.
