temporal logic

2 items

RESEARCHDEV.to AI·25d ago

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

This research paper discusses the undecidability of model-checking Alternating-time Temporal Logic (ATL) when considering imperfect information and perfect recall semantics. It highlights a significant computational barrier in verifying multi-agent systems under these specific conditions.

undecidability temporal logic ATL multi-agent systems

RESEARCHarXiv CS.LG·26d ago

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

This paper introduces Embedding Temporal Logic (ETL) for runtime monitoring of perception-based autonomous systems. ETL operates directly in learned embedding spaces, defining predicates through distances between observed and target embeddings to capture high-level perceptual concepts.

temporal logic Autonomous systems machine learning runtime monitoring