Buchumschlag

Logic of Fuzzy Paths

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Grover, Kush, Gupta, Pratham, Křetínský, Jan
Format:	Preprint
Veröffentlicht:	2026
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

Learning Explainable and Better Performing Representations of POMDP Strategies
von: Bork, Alexander, et al.
Veröffentlicht: (2024)

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

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
von: Grover, Kush, et al.
Veröffentlicht: (2026)

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

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

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

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

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
von: Choton, Jahid Chowdhury, et al.
Veröffentlicht: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

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

Non-Expansive Fuzzy Coalgebraic Logic
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

Sound Value Iteration for Simple Stochastic Games
von: Azeem, Muqsit, et al.
Veröffentlicht: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2026)

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

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
von: Bals, Severin, et al.
Veröffentlicht: (2023)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
von: Grobelna, Marta, et al.
Veröffentlicht: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

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

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

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)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
von: Lin, Yuanfei, et al.
Veröffentlicht: (2022)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Reducing Student Distraction Through Fuzzy Logic Based Seating Arrangements
von: Olges, Garrett, et al.
Veröffentlicht: (2025)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

SemML 2.0: Synthesizing Controllers for LTL
von: Křetínský, Jan, et al.
Veröffentlicht: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
von: Kettmann, Pascal, et al.
Veröffentlicht: (2026)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
von: Kettmann, Pascal, et al.
Veröffentlicht: (2025)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

Integrating Fuzzy Logic into Deep Symbolic Regression
von: Gerdes, Wout, et al.
Veröffentlicht: (2024)

Tools at the Frontiers of Quantitative Verification
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)