Optimal Planning with Global Numerical State Constraints. - Franc Ivankovic; Patrik Haslum; Sylvie Thiébaux; Vikas Shivashankar; Dana S. Nau (ICAPS, 2014)

Optimal Planning with Axioms. - Franc Ivankovic; Patrik Haslum (IJCAI, 2015)

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning. - Patrik Haslum; Franc Ivankovic; Miquel Ramírez; Dan Gordon 002; Sylvie Thiébaux; Vikas Shivashankar; Dana S. Nau (J. Artif. Intell. Res., 2018)

Planning with Global State Constraints and State-Dependent Action Costs. - Franc Ivankovic; Dan Gordon 002; Patrik Haslum (ICAPS, 2019)

Planning with Global State Constraints for Urban Traffic Control. - Franc Ivankovic; Marco Roveri (OVERLAY@GandALF, 2021)

Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations. - Marco Roveri; Franc Ivankovic; Luigi Palopoli 002; Daniele Fontanelli (AI*IA, 2022)

Urban Traffic Control via Planning with Global State Constraints (Extended Abstract). - Franc Ivankovic; Mauro Vallati; Lukás Chrpa; Marco Roveri (SOCS, 2022)

Advanced Models for the OSPF Routing Protocol. - Courtney Darville; Peter Höfner; Franc Ivankovic; Adam Pam (MARS@ETAPS, 2022)