Saved in:
Bibliographic Details
Main Authors: Miller, Alice, Porr, Bernd, Valkov, Ivaylo, Fraser, Douglas, Pagojus, Daumantas
Format: Recurso digital
Language:
Published: Zenodo 2025
Online Access:https://doi.org/10.5281/zenodo.14976910
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866902031269101568
author Miller, Alice
Porr, Bernd
Valkov, Ivaylo
Fraser, Douglas
Pagojus, Daumantas
author_facet Miller, Alice
Porr, Bernd
Valkov, Ivaylo
Fraser, Douglas
Pagojus, Daumantas
contents <p>This is the code which accompanies the paper titled: Model Checking with Memoisation for Fast Overtaking Planning by Alice Miller, Bernd Porr, Ivaylo Valkov, Douglas Fraser, Daumantas Pagojus.</p>
format Recurso digital
id zenodo_https___doi_org_10_5281_zenodo_14976910
institution Zenodo
language
publishDate 2025
publisher Zenodo
record_format zenodo
spellingShingle berndporr/spin_unity_overtaking: Code accompanying the paper: Model Checking with Memoisation for Fast Overtaking Planning
Miller, Alice
Porr, Bernd
Valkov, Ivaylo
Fraser, Douglas
Pagojus, Daumantas
<p>This is the code which accompanies the paper titled: Model Checking with Memoisation for Fast Overtaking Planning by Alice Miller, Bernd Porr, Ivaylo Valkov, Douglas Fraser, Daumantas Pagojus.</p>
title berndporr/spin_unity_overtaking: Code accompanying the paper: Model Checking with Memoisation for Fast Overtaking Planning
url https://doi.org/10.5281/zenodo.14976910