Franc Ivankovic
According to our database1,
Franc Ivankovic
authored at least 8 papers
between 2014 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2014
2015
2016
2017
2018
2019
2020
2021
2022
0
1
2
3
4
1
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
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).
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.
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021
2019
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.
J. Artif. Intell. Res., 2018
2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014