Franc Ivankovic

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 7

Top Topics

Stochastic Model

Severe Acute Respiratory Syndrome

State Space Search

Extended Abstract

Top Venues

Publications

Marco Roveri, Franc Ivankovic, Luigi Palopoli, Daniele Fontanelli
Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations. AI*IA (2022)
Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam
Advanced Models for the OSPF Routing Protocol. MARS@ETAPS (2022)
Franc Ivankovic, Mauro Vallati, Lukás Chrpa, Marco Roveri
Urban Traffic Control via Planning with Global State Constraints (Extended Abstract). SOCS (2022)
Marco Roveri, Franc Ivankovic, Luigi Palopoli, Daniele Fontanelli
Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations. CoRR (2022)
Franc Ivankovic, Marco Roveri
Planning with Global State Constraints for Urban Traffic Control. OVERLAY@GandALF (2021)
Franc Ivankovic, Dan Gordon, Patrik Haslum
Planning with Global State Constraints and State-Dependent Action Costs. ICAPS (2019)
Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning. J. Artif. Intell. Res. 62 (2018)
Franc Ivankovic, Patrik Haslum
Optimal Planning with Axioms. IJCAI (2015)
Franc Ivankovic, Patrik Haslum, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau
Optimal Planning with Global Numerical State Constraints. ICAPS (2014)