2020
AAAI
AAAI 2020
Parameterised Resource-Bounded ATL
Abstract
Abstract It is often advantageous to be able to extract resource requirements in resource logics of strategic ability, rather than to verify whether a fixed resource requirement is sufficient for achieving a goal. We study Parameterised Resource-Bounded Alternating Time Temporal Logic where parameter extraction is possible. We give a parameter extraction algorithm and prove that the model-checking problem is 2EXPTIME-complete.
🌉
Interdisciplinary Bridge
— Artificial Intelligence and Knowledge & Reasoning and Machine Learning
🧭
Keyword Pioneer
— parameter extraction
🐣
Hot Topic Early Bird
— temporal logic
🐝
Cross-Pollinator
— Artificial Intelligence, Computer Science, Computer Vision, Data Science & Analytics, Deep Learning, Healthcare & Medicine, Interdisciplinary, Knowledge & Reasoning, Machine Learning, Mathematics & Optimization, Natural Language Processing, Reinforcement Learning, Robotics