Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Daniel Ciolek"'
Autor:
Daniel Ciolek, Matias Duran, Florencia Zanollo, Nicolas Pazos, Julián Braier, Victor Braberman, Nicolas D’Ippolito, Sebastian Uchitel
We study directed control of discrete event system expressed as the parallel composition of interacting automata. Solutions that first compose the automata and then compute a controller may result in an exponential blow up. We present a technique tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bad2f13c289fa4831680c1b8f840e9b9
http://hdl.handle.net/10044/1/100254
http://hdl.handle.net/10044/1/100254
Publikováno v:
Proceedings of the International Conference on Automated Planning and Scheduling. 30:66-74
A planning domain, as any model, is never “complete” and inevitably makes assumptions on the environment's dynamic. By allowing the specification of just one domain model, the knowledge engineer is only able to make one set of assumptions, and to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5eefeff4ef987c85d6ec586a262ae07b
https://doi.org/10.1609/icaps.v30i1.6646
https://doi.org/10.1609/icaps.v30i1.6646
Publikováno v:
CLEI
Within the context of Argentina universities that have computer science degrees in their curricula, one of the major challenges is to teach an introductory programming course for the first semester. The problem appears because the students come with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e2f7d4df573f6eb719257ee6c47a6a4
https://doi.org/10.1109/clei.2017.8226428
https://doi.org/10.1109/clei.2017.8226428
Autor:
Valeria Bengolea, Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, Tom Maibaum, Daniel Ciolek, Nicolás Rosner, Juan Pablo Galeotti, Pablo Abad, Ignacio Vissani
Publikováno v:
ICST
We present a novel and general technique for automated test generation that combines tight bounds with incremental SAT solving. The proposed technique uses incremental SAT to build test suites targeting a specific testing criterion, amongst various b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cef6e6b9e711053dc06c681b9fa8bed4
https://doi.org/10.1109/icst.2013.46
https://doi.org/10.1109/icst.2013.46