temporal logic

2 items

RESEARCHDEV.to AI·hace 25d

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

Este artículo de investigación trata sobre la indecidibilidad de la verificación de modelos de la Lógica Temporal de Tiempo Alterno (ATL) bajo semánticas de información imperfecta y recuerdo perfecto. Resalta una barrera computacional significativa en la verificación de sistemas multiagente bajo estas condiciones específicas.

undecidability temporal logic ATL multi-agent systems

RESEARCHarXiv CS.LG·hace 27d

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

Este artículo propone la Lógica Temporal de Incrustación (ETL) para la monitorización en tiempo de ejecución de sistemas autónomos basados en la percepción. ETL opera directamente en espacios de incrustación aprendidos, definiendo predicados a través de distancias entre incrustaciones observadas y objetivo para capturar conceptos perceptivos de alto nivel.

temporal logic Autonomous systems machine learning runtime monitoring