temporal logic

2 items

RESEARCHDEV.to AI·25d atrás

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

Este artigo de pesquisa aborda a indecidibilidade da verificação de modelos da Lógica Temporal de Tempo Alternado (ATL) sob semânticas de informação imperfeita e recordação perfeita. Destaca uma barreira computacional significativa na verificação de sistemas multiagente nestas condições específicas.

undecidability temporal logic ATL multi-agent systems

RESEARCHarXiv CS.LG·26d atrás

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

Este artigo propõe a Lógica Temporal de Incorporação (ETL) para monitorização em tempo de execução de sistemas autónomos baseados em perceção. A ETL opera diretamente em espaços de incorporação aprendidos, definindo predicados através de distâncias entre incorporações observadas e alvo para capturar conceitos percetivos de alto nível.

temporal logic Autonomous systems machine learning runtime monitoring