Author of the publication

Extracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning.

, , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 1332-1339. IOS Press, (2023)

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

Blind Search for Atari-Like Online Planning Revisited., , and . IJCAI, page 3251-3257. IJCAI/AAAI Press, (2016)P ^3 -Folder: Optimal Model Simplification for Improving Accuracy in Process Performance Prediction., , , , and . BPM, volume 9850 of Lecture Notes in Computer Science, page 418-436. Springer, (2016)Structurally Restricted Fragments of Numeric Planning - a Complexity Analysis., , and . AAAI, page 12112-12119. AAAI Press, (2023)Automated Verification of Social Law Robustness in STRIPS., , and . ICAPS, page 163-171. AAAI Press, (2017)Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning., , , and . IJCAI, page 1712-1718. AAAI Press, (2015)The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions., , , , and . J. Artif. Intell. Res., (2022)On Interruptible Pure Exploration in Multi-Armed Bandits., , and . AAAI, page 3592-3598. AAAI Press, (2015)LM-Cut Heuristics for Optimal Linear Numeric Planning., , and . ICAPS, page 203-212. AAAI Press, (2022)Symmetry Breaking in Star-Topology Decoupled Search., , , and . ICAPS, page 125-134. AAAI Press, (2017)Automated Verification of Social Laws in Numeric Settings., , and . AAAI, page 12087-12094. AAAI Press, (2023)