Daniel Ciolek
Author
Alternate names D. Ciolek, Daniel Ciolek, Daniel Alfredo Ciolek
Institution University of Buenos Aires
Past institutions University of Buenos Aires, National University of Quilmes, Saarland University
ORCID: Yes
H-index: 5
I10-index: 3
Works count: 15
Citations count: 92
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving
2013 · Pablo Garrido Abad, Nazareno Aguirre, et al.
Multi-Tier Automated Planning for Adaptive Behavior
2020 · Daniel Ciolek, Nicolás D’Ippolito, et al. · Proceedings of the International Conference on Automated Planning and Scheduling
Interaction Models and Automated Control under Partial Observable Environments
2016 · Daniel Ciolek, Vı́ctor Braberman, et al. · IEEE Transactions on Software Engineering