Image de couverture de livre

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

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Miller, Alice, Porr, Bernd, Valkov, Ivaylo, Fraser, Douglas, Pagojus, Daumantas
Format:	Recurso digital
Publié:	Zenodo 2025
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Real-Time Model Checking for Closed-Loop Robot Reactive Planning
par: Chandler, Christopher, et autres
Publié: (2025)

Combinatorial solutions to the Social Golfer Problem and Social Golfer Problem with Adjacent Group Sizes
par: Miller, Alice, et autres
Publié: (2025)

Closed-loop Multi-step Planning
par: Lafratta, Giulia, et autres
Publié: (2024)

Closed-loop multi-step planning with innate physics knowledge
par: Lafratta, Giulia, et autres
Publié: (2024)

An Empirical Investigation Into the Time and Frequency Response Characteristics of Hopf Resonators
par: Milligan, Keziah, et autres
Publié: (2024)

On Homogeneous Model of Fluted Languages
par: Kojelis, Daumantas
Publié: (2024)

FSDP: Fast and Safe Data-Driven Overtaking Trajectory Planning for Head-to-Head Autonomous Racing Competitions
par: Hu, Cheng, et autres
Publié: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
par: Beutner, Raven, et autres
Publié: (2025)

Agyn: An Open-Source Platform for AI Agents with Scalable On-Demand Execution, Agent Definition as a Code, and Zero-Trust Access
par: Benkovich, Nikita, et autres
Publié: (2026)

sabia-group/paper-SALTED-moire: Dataset accompanying first version of paper
par: Leo
Publié: (2026)

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

ZUR METHODIK DER KONTRASTIVEN LEXIKOLOGIE AM BEISPIEL DES MAKROFELDES VERTIEFUNG IM LITAUISCHEN UND IM DEUTSCHEN
par: Daumantas Katinas
Publié: (2007)

Einige Überlegungen zur Bestimmung des Äquivalenzgrades am Beispiel des lexikalischen Feldes „Erhebung im Gelände“
par: Daumantas Katinas
Publié: (2013)

Zu Begriff und Methodik der kontrastiven Lexikologie
par: Daumantas Katinas
Publié: (2008)

Takoskyra tarp gretinamosios leksikologijos ir vertimo mokslo
par: Daumantas Katinas
Publié: (2008)

Social Inequalities in Health: Outcomes of Children’s Cochlear Implantation in Lithuania
par: Daumantas Stumbrys
Publié: (2020)

Kontrastive Lexikologie und zweisprachige Lexikografie: ineinander, nebeneinander, füreinander?
par: Daumantas Katinas
Publié: (2009)

Trajectory Planning Using Reinforcement Learning for Interactive Overtaking Maneuvers in Autonomous Racing Scenarios
par: Ögretmen, Levent, et autres
Publié: (2024)

Denseness results for zeros and roots of unity in character tables
par: Miller, Alexander R.
Publié: (2025)

Predicting Overtakes in Trucks Using CAN Data
par: Butt, Talha Hanif, et autres
Publié: (2024)

An object detection approach for lane change and overtake detection from motion profiles
par: Benericetti, Andrea, et autres
Publié: (2025)

Autonomous overtaking trajectory optimization using reinforcement learning and opponent pose estimation
par: Cihlar, Matej Rene, et autres
Publié: (2026)

Agyn: A Multi-Agent System for Team-Based Autonomous Software Engineering
par: Benkovich, Nikita, et autres
Publié: (2026)

Data accompanying the GitHub repository: bartonlab/paper-HIV-latent-reservoir
par: Marco Garcia Noceda, et autres
Publié: (2025)

Melanin in art: Photobleaching of melanin‐on‐paper is accompanied by robust modification of eumelanin structure
par: Lucy Kim, et autres
Publié: (2025)

In the driver's mind: modeling the dynamics of human overtaking decisions in interactions with oncoming automated vehicles
par: Mohammad, Samir H. A., et autres
Publié: (2024)

Sulfonamide Inhibitors of Amyloid Aggregation: A Promising Path against Neurodegenerative Diseases
par: Joana Smirnovienė, et autres
Publié: (2025)

Towards Understanding the Expressive Power of GNNs with Global Readout
par: Funk, Maurice, et autres
Publié: (2026)

Generative Planning with Fast Collision Checks for High Speed Navigation
par: Knuth, Craig, et autres
Publié: (2024)

Videos accompanying the paper "Symmetry, Invariant Manifolds and Flow Reversals in Active Nematic Turbulence"
par: grover, piyush
Publié: (2025)

An Overtaking Trajectory Planning Framework Based on Spatio-temporal Topology and Reachable Set Analysis Ensuring Time Efficiency
par: Mao, Wule, et autres
Publié: (2024)

Automating the Attendance Tracking Process in Educational Institutions - Figure 3
par: Daniel Damyanov, et autres
Publié: (2025)

Tunable dynamics of flexible magnetic microcrosses: synchronous rotation, breathing and out-of-plane arm overtaking
par: Tavacoli, Joseph, et autres
Publié: (2025)

SwapTransformer: highway overtaking tactical planner model via imitation learning on OSHA dataset
par: Shamsoshoara, Alireza, et autres
Publié: (2024)

Jupyter Notebooks and files to accompany the paper: Slab underthrusting is the primary control on flat slab size
par: Gianni, Guido Martin, et autres
Publié: (2025)

Review Beats Planning: Dual-Model Interaction Patterns for Code Synthesis
par: Miller, Jan
Publié: (2026)

Fish Farming Overtakes Wild Fishing: A Global Turning Point
par: Vishal k. Solanki1, Anjali R. Baraiya2, Dr. Nilesh H. Joshi3
Publié: (2025)

BADGR: Bundle Adjustment Diffusion Conditioned by GRadients for Wide-Baseline Floor Plan Reconstruction
par: Li, Yuguang, et autres
Publié: (2025)

Diversity within unity
par: Diane Larsen‐Freeman
Publié: (2025)

Diversity within unity
par: Rosali Plentz
Publié: (2012)