Erfan Aasi
3 papers · 2022–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🐣
Hot Topic Early Bird
Top co-authors
Research topics
Keywords
signal temporal logic
(2)
time series classification
(1)
robot manipulation
(1)
generative model
(1)
support vector machine
(1)
decision tree
(1)
inverse design
(1)
autonomous system
(1)
counterfactual generation
(1)
formal logic
(1)
robot simulation
(1)
neural network
(1)
spatio-temporal specification
(1)
autonomous driving
(1)
parameter synthesis
(1)