A Logic Approach for LTL System Modification

DOI10.1007/11425274_45zbMath1132.68728OpenAlexW2095678790MaRDI QIDQ5450882

Yan Zhang, Yulin Ding

Publication date: 17 March 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11425274_45

zbMATH Keywords

model checkingtemporal reasoningbelief revision and updatemodel updateLogic for Artificial Intelligence

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: A Logic Approach for LTL System Modification