Image de couverture de livre

Supplementary Material for "Driving by Disproof: A Model Checking Approach to Fleet Coordination"

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Koenig, Lukas, Schildwaechter, Christian, Klauck, Michaela, Heinzemann, Christian
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

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
par: Henkel, Christian, et autres
Publié: (2025)

Execution Semantics of Behavior Trees in Robotic Applications
par: Ghiorzi, Enrico, et autres
Publié: (2024)

A Flow-based Credibility Metric for Safety-critical Pedestrian Detection
par: Lyssenko, Maria, et autres
Publié: (2024)

Disproof of the Riemann Hypothesis
par: Liu, Dasheng
Publié: (2024)

Statistical Modelling of Driving Scenarios in Road Traffic using Fleet Data of Production Vehicles
par: Reichenbächer, Christian, et autres
Publié: (2024)

As Práticas de Gestão de Recursos Humanos e o Comprometimento Organizacional
par: Micheline Klauck
Publié: (2009)

Representações da organização familiar e comunitária dos teuto-brasileiros católicos do Rio Grande do Sul a partir da revista St. Paulus-Blatt (1912 a 1934)
par: Samuel Klauck
Publié: (2014)

Referências culturais religiosas no turismo de Foz do Iguaçu: discursos, representações e sentidos
par: Samuel Klauck
Publié: (2021)

Influence of subclinical infection by agents of tick fever in milking dairy cows
par: Vanderlei Klauck
Publié: (2016)

Foundations for Discovery: A Coordinated Fleet Approach to NASA Astrophysics
par: Caputo, Regina, et autres
Publié: (2026)

Disproof of the Odd Hadwiger Conjecture
par: Kühn, Marcus, et autres
Publié: (2025)

Reiman Hypothesis Disproof Refined
par: Clint, Goolsby
Publié: (2026)

Disproof of the uniform Littlewood conjecture
par: Schleischitz, Johannes
Publié: (2026)

WELCH, Clifford A. et all (Orgs.). Camponeses brasileiros. Vol. 1: Leituras e interpretações clássicas. São Paulo: Ed. da UNESP: Ministério do Desenvolvimento Agrário, NEAD, 2009. 336p.
par: Roberto Carlos Klauck
Publié: (2010)

Spin Helicity and the Disproof of Bell's Theorem
par: Sanctuary, Bryan
Publié: (2025)

Disproofs of four Gallai-Ramsey-type conjectures
par: Zhang, Yanbo, et autres
Publié: (2024)

Disproof of a conjecture on the edge Mostar index
par: Hayat, Fazal, et autres
Publié: (2023)

Fleet of Agents: Coordinated Problem Solving with Large Language Models
par: Klein, Lars, et autres
Publié: (2024)

A Disproof of Large Language Model Consciousness: The Necessity of Continual Learning for Consciousness
par: Hoel, Erik
Publié: (2025)

Riemann Hypothesis — A Terminal Disproof via Proportional Logic
par: Kunferman, C.R.
Publié: (2026)

A Hierarchy for Constant Communication Complexity
par: Ambainis, Andris, et autres
Publié: (2025)

Supplementary Material of Optimizing Parameters of Quantum Circuits with Sparsity-Inducing Coordinate Descent
par: Raymond, Rudy
Publié: (2025)

Supplementary Materials
par: Krismanuel, Hari
Publié: (2025)

Supplementary Material
par: Loggia, Gilles
Publié: (2025)

Supplementary Material
par: Mall, Manish Kumar
Publié: (2026)

Supplementary Material
par: He, Shaoyan
Publié: (2026)

Supplementary Material
par: Gordillo León, Fernando
Publié: (2026)

Robo-Taxi Fleet Coordination with Accelerated High-Capacity Ridepooling
par: Li, Xinling, et autres
Publié: (2025)

Robo-taxi Fleet Coordination at Scale via Reinforcement Learning
par: Tresca, Luigi, et autres
Publié: (2025)

An Improved Interpolation Theorem and Disproofs of Two Conjectures on 2-Connected Subgraphs
par: Liu, Haiyang, et autres
Publié: (2026)

A Model‐Based Systems Engineering Approach for Trucking Fleet Replacement
par: Sean Bumgarner, et autres
Publié: (2024)

Evaluation of Coordination Strategies for Underground Automated Vehicle Fleets in Mixed Traffic
par: Mironenko, Olga, et autres
Publié: (2025)

Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation
par: Lujak, Marin, et autres
Publié: (2024)

CRAKEN Supplementary Materials
par: Anonymous Authors
Publié: (2025)

Online Supplementary Material
par: Anonymous Authors
Publié: (2026)

Supplementary Material for the Paper "Human-Centric and Socio-Technical Design Support for Cyber-Physical Systems: A Systematic Investigation"
par: Jost, Thomas Ernst, et autres
Publié: (2026)

Behavioral Cloning Models Reality Check for Autonomous Driving
par: Yildirim, Mustafa, et autres
Publié: (2024)

Efficient Parking Search using Shared Fleet Data
par: Strauß, Niklas, et autres
Publié: (2024)

Resilient and Efficient Allocation for Large-Scale Autonomous Fleets via Decentralized Coordination
par: Perukari, Ashish Kumar, et autres
Publié: (2025)

Supplementary Material 04 _Mutations
par: Moreira Costa Fogaça, Mayanna
Publié: (2025)