Icarte, Rodrigo Toro
21  results:
Search for persons X
?
4

Training Binarized Neural Networks Using MIP and CP:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,
 
?
5

Teaching Multiple Tasks to an RL Agent using LTL:

, In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems,
 
1-15