Franc Ivankovic

According to our database, Franc Ivankovic authored at least 8 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Advanced Models for the OSPF Routing Protocol.

Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam

Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

Urban Traffic Control via Planning with Global State Constraints (Extended Abstract).

Franc Ivankovic, Mauro Vallati, Lukás Chrpa, Marco Roveri

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations.

Marco Roveri, Franc Ivankovic, Luigi Palopoli, Daniele Fontanelli

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2021

Planning with Global State Constraints for Urban Traffic Control.

Franc Ivankovic, Marco Roveri

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2019

Planning with Global State Constraints and State-Dependent Action Costs.

Franc Ivankovic, Dan Gordon, Patrik Haslum

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning.

Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau

J. Artif. Intell. Res., 2018

2015

Optimal Planning with Axioms.

Franc Ivankovic, Patrik Haslum

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Optimal Planning with Global Numerical State Constraints.

Franc Ivankovic, Patrik Haslum, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014