Buchumschlag

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Choton, Jahid Chowdhury, Gupta, Lipsy, Prabhakar, Pavithra
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Coverage Path Planning in Precision Agriculture: Algorithms, Applications, and Key Benefits
von: Choton, Jahid Chowdhury, et al.
Veröffentlicht: (2024)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
von: Benjumea, Diana C., et al.
Veröffentlicht: (2025)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
von: Päßler, Juliane, et al.
Veröffentlicht: (2023)

Logic of Fuzzy Paths
von: Grover, Kush, et al.
Veröffentlicht: (2026)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
von: Luckcuck, Matt, et al.
Veröffentlicht: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
von: Luckcuck, Matt, et al.
Veröffentlicht: (2025)

Efficient Environment Design for Multi-Robot Navigation via Continuous Control
von: Choton, Jahid Chowdhury, et al.
Veröffentlicht: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
von: Ahmad, Faseeh, et al.
Veröffentlicht: (2019)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2020)

Formal Verification of Isothermal Chemical Reactors
von: Feyzishendi, Parivash, et al.
Veröffentlicht: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
von: Vázquez, Gricel, et al.
Veröffentlicht: (2026)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
von: Reimann, Jesse, et al.
Veröffentlicht: (2024)

Optimal Planning for Timed Partial Order Specifications
von: Watanabe, Kandai, et al.
Veröffentlicht: (2024)

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
von: Xu, Yuejiao, et al.
Veröffentlicht: (2024)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
von: Dhonthi, Akshay, et al.
Veröffentlicht: (2024)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
von: Yamaguchi, Tomoya, et al.
Veröffentlicht: (2025)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2025)

Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies
von: Fawn, Marlow, et al.
Veröffentlicht: (2025)

Formal Verification of the Empty Hexagon Number
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2024)

Formal Verification of the Sumcheck Protocol
von: Bosshard, Azucena Garvía, et al.
Veröffentlicht: (2024)

Formal Verification of the Safegcd Implementation
von: O'Connor, Russell, et al.
Veröffentlicht: (2025)

Formal Evidence Generation for Assurance Cases for Robotic Software Models
von: Yan, Fang, et al.
Veröffentlicht: (2026)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
von: Yang, Ziyi, et al.
Veröffentlicht: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Pseudo-Formalization for Automatic Proof Verification
von: Barkallah, Slim, et al.
Veröffentlicht: (2026)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
von: Altuntas, Alper, et al.
Veröffentlicht: (2025)

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
von: Coglio, Alessandro, et al.
Veröffentlicht: (2025)

Constrained Decoding for Safe Robot Navigation Foundation Models
von: Kapoor, Parv, et al.
Veröffentlicht: (2025)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2022)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
von: Afzal, Mohammad, et al.
Veröffentlicht: (2025)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
von: Xu, Shaojun, et al.
Veröffentlicht: (2024)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2025)

On Improving Deep Active Learning with Formal Verification
von: Spiegelman, Jonathan, et al.
Veröffentlicht: (2025)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
von: Lewis, Marco, et al.
Veröffentlicht: (2021)

Formal Verification of Probing Security via Conditional Independence
von: Kura, Satoshi, et al.
Veröffentlicht: (2026)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
von: Beers, Adrian, et al.
Veröffentlicht: (2025)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
von: Kaufmann, Daniela, et al.
Veröffentlicht: (2024)