Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Goal Recognition Design., , and . ICAPS, AAAI, (2014)A Conflict-Driven Interface Between Symbolic Planning and Nonlinear Constraint Solving., , , and . IEEE Robotics Autom. Lett., 7 (4): 10518-10525 (2022)Automated Verification of Social Laws in Numeric Settings., , and . AAAI, page 12087-12094. AAAI Press, (2023)Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking., , , , , and . AAAI, page 13569-13575. AAAI Press, (2020)Automated Synthesis of Social Laws in STRIPS., , and . AAAI, page 9941-9948. AAAI Press, (2020)Goal Recognition Design with Non-Observable Actions., , and . AAAI, page 3152-3158. AAAI Press, (2016)Automatic Generation of Flexible Plans via Diverse Temporal Planning., , and . AAAI, page 6049-6057. AAAI Press, (2021)Differential game to evaluate the worst case influence of a varying disturbance on the minimal time solution for a small vehicle movement., , , and . MMAR, page 312-317. IEEE, (2022)Traffic Light Scheduling, Value of Time, and Incentives., , , and . IJCAI, page 4743-4749. ijcai.org, (2018)Evaluating Distributional Predictions of Search Time: Put Up or Shut Up Games (Extended Abstract)., , , , , and . SOCS, page 277-278. AAAI Press, (2024)