temporal logic

2 items

RESEARCHDEV.to AI·il y a 25j

Model-checking ATL under Imperfect Information and Perfect Recall Semantics isUndecidable

Cet article de recherche traite de l'indécidabilité de la vérification de modèles de la Logique Temporelle à Temps Alterné (ATL) sous des sémantiques d'information imparfaite et de rappel parfait. Il souligne une barrière computationnelle significative dans la vérification des systèmes multi-agents dans ces conditions spécifiques.

undecidability temporal logic ATL multi-agent systems

RESEARCHarXiv CS.LG·il y a 26j

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic

Cet article propose la Logique Temporelle d'Intégration (ETL) pour la surveillance en temps réel des systèmes autonomes basés sur la perception. L'ETL opère directement dans des espaces d'intégration appris, définissant des prédicats par des distances entre les intégrations observées et cibles pour capturer des concepts perceptuels de haut niveau.

temporal logic Autonomous systems machine learning runtime monitoring