Buchumschlag

berndporr/spin_unity_overtaking: Code accompanying the paper: Model Checking with Memoisation for Fast Overtaking Planning

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Miller, Alice, Porr, Bernd, Valkov, Ivaylo, Fraser, Douglas, Pagojus, Daumantas
Format:	Recurso digital
Veröffentlicht:	Zenodo 2025
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Real-Time Model Checking for Closed-Loop Robot Reactive Planning
von: Chandler, Christopher, et al.
Veröffentlicht: (2025)

Combinatorial solutions to the Social Golfer Problem and Social Golfer Problem with Adjacent Group Sizes
von: Miller, Alice, et al.
Veröffentlicht: (2025)

Closed-loop Multi-step Planning
von: Lafratta, Giulia, et al.
Veröffentlicht: (2024)

Closed-loop multi-step planning with innate physics knowledge
von: Lafratta, Giulia, et al.
Veröffentlicht: (2024)

An Empirical Investigation Into the Time and Frequency Response Characteristics of Hopf Resonators
von: Milligan, Keziah, et al.
Veröffentlicht: (2024)

On Homogeneous Model of Fluted Languages
von: Kojelis, Daumantas
Veröffentlicht: (2024)

FSDP: Fast and Safe Data-Driven Overtaking Trajectory Planning for Head-to-Head Autonomous Racing Competitions
von: Hu, Cheng, et al.
Veröffentlicht: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Agyn: An Open-Source Platform for AI Agents with Scalable On-Demand Execution, Agent Definition as a Code, and Zero-Trust Access
von: Benkovich, Nikita, et al.
Veröffentlicht: (2026)

sabia-group/paper-SALTED-moire: Dataset accompanying first version of paper
von: Leo
Veröffentlicht: (2026)

Demografiniai nuostoliai dėl moterų savižudybių Lietuvoje 2007–2020 metais: socialinė diferenciacija ir iššūkiai psichikos sveikatos politikai
von: Stumbrys Daumantas
Veröffentlicht: (2022)

ZUR METHODIK DER KONTRASTIVEN LEXIKOLOGIE AM BEISPIEL DES MAKROFELDES VERTIEFUNG IM LITAUISCHEN UND IM DEUTSCHEN
von: Daumantas Katinas
Veröffentlicht: (2007)

Einige Überlegungen zur Bestimmung des Äquivalenzgrades am Beispiel des lexikalischen Feldes „Erhebung im Gelände“
von: Daumantas Katinas
Veröffentlicht: (2013)

Zu Begriff und Methodik der kontrastiven Lexikologie
von: Daumantas Katinas
Veröffentlicht: (2008)

Takoskyra tarp gretinamosios leksikologijos ir vertimo mokslo
von: Daumantas Katinas
Veröffentlicht: (2008)

Social Inequalities in Health: Outcomes of Children’s Cochlear Implantation in Lithuania
von: Daumantas Stumbrys
Veröffentlicht: (2020)

Kontrastive Lexikologie und zweisprachige Lexikografie: ineinander, nebeneinander, füreinander?
von: Daumantas Katinas
Veröffentlicht: (2009)

Trajectory Planning Using Reinforcement Learning for Interactive Overtaking Maneuvers in Autonomous Racing Scenarios
von: Ögretmen, Levent, et al.
Veröffentlicht: (2024)

Denseness results for zeros and roots of unity in character tables
von: Miller, Alexander R.
Veröffentlicht: (2025)

Predicting Overtakes in Trucks Using CAN Data
von: Butt, Talha Hanif, et al.
Veröffentlicht: (2024)

An object detection approach for lane change and overtake detection from motion profiles
von: Benericetti, Andrea, et al.
Veröffentlicht: (2025)

Autonomous overtaking trajectory optimization using reinforcement learning and opponent pose estimation
von: Cihlar, Matej Rene, et al.
Veröffentlicht: (2026)

Agyn: A Multi-Agent System for Team-Based Autonomous Software Engineering
von: Benkovich, Nikita, et al.
Veröffentlicht: (2026)

Data accompanying the GitHub repository: bartonlab/paper-HIV-latent-reservoir
von: Marco Garcia Noceda, et al.
Veröffentlicht: (2025)

Melanin in art: Photobleaching of melanin‐on‐paper is accompanied by robust modification of eumelanin structure
von: Lucy Kim, et al.
Veröffentlicht: (2025)

In the driver's mind: modeling the dynamics of human overtaking decisions in interactions with oncoming automated vehicles
von: Mohammad, Samir H. A., et al.
Veröffentlicht: (2024)

Sulfonamide Inhibitors of Amyloid Aggregation: A Promising Path against Neurodegenerative Diseases
von: Joana Smirnovienė, et al.
Veröffentlicht: (2025)

Towards Understanding the Expressive Power of GNNs with Global Readout
von: Funk, Maurice, et al.
Veröffentlicht: (2026)

Generative Planning with Fast Collision Checks for High Speed Navigation
von: Knuth, Craig, et al.
Veröffentlicht: (2024)

Videos accompanying the paper "Symmetry, Invariant Manifolds and Flow Reversals in Active Nematic Turbulence"
von: grover, piyush
Veröffentlicht: (2025)

An Overtaking Trajectory Planning Framework Based on Spatio-temporal Topology and Reachable Set Analysis Ensuring Time Efficiency
von: Mao, Wule, et al.
Veröffentlicht: (2024)

Automating the Attendance Tracking Process in Educational Institutions - Figure 3
von: Daniel Damyanov, et al.
Veröffentlicht: (2025)

Tunable dynamics of flexible magnetic microcrosses: synchronous rotation, breathing and out-of-plane arm overtaking
von: Tavacoli, Joseph, et al.
Veröffentlicht: (2025)

SwapTransformer: highway overtaking tactical planner model via imitation learning on OSHA dataset
von: Shamsoshoara, Alireza, et al.
Veröffentlicht: (2024)

Jupyter Notebooks and files to accompany the paper: Slab underthrusting is the primary control on flat slab size
von: Gianni, Guido Martin, et al.
Veröffentlicht: (2025)

Review Beats Planning: Dual-Model Interaction Patterns for Code Synthesis
von: Miller, Jan
Veröffentlicht: (2026)

Fish Farming Overtakes Wild Fishing: A Global Turning Point
von: Vishal k. Solanki1, Anjali R. Baraiya2, Dr. Nilesh H. Joshi3
Veröffentlicht: (2025)

BADGR: Bundle Adjustment Diffusion Conditioned by GRadients for Wide-Baseline Floor Plan Reconstruction
von: Li, Yuguang, et al.
Veröffentlicht: (2025)

Diversity within unity
von: Diane Larsen‐Freeman
Veröffentlicht: (2025)

Diversity within unity
von: Rosali Plentz
Veröffentlicht: (2012)