Universidad Andrés Bello — Chile
Computer Science · Physical Sciences
2h-index51citations2works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(2), Advanced Control Systems Optimization(2), Constraint Satisfaction and Optimization(2)
Publications2 total
Proceedings of the International Symposium on Combinatorial Search·2021· 20 citedOpen Access
Proceedings of the International Conference on Automated Planning and Scheduling·2020· 31 citedOpen Access
Frequent Co-authors
Carlos Hernández Ulloa(2), William Yeoh(2), Jorge A. Baier(2), Han Zhang(2), Sven Koenig(2)