AI 2005: Advances in Artificial Intelligence

DOI10.1007/11589990MaRDI QIDQ5898019zbMATH OpenOpenAlexFDO

Authors Yulin Ding, Yan Zhang

Publication date 14 November 2006

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

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

Mathematics Subject Classification ID

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

Recommendations

• CTL model update for system modifications
• A method for CTL model update, representing Kripke structures as ``table systems
• CTL update of Kripke models through protections
• Foundations of tree-like local model updates
• Nondeterministic update of CTL models by preserving satisfaction through protections

Cited in

(6)

• A method for CTL model update, representing Kripke structures as ``table systems
• Nondeterministic update of CTL models by preserving satisfaction through protections
• Model updating improves MRAC performance
• Foundations of tree-like local model updates
• CTL model update for system modifications
• CTL update of Kripke models through protections

This page was built for publication: AI 2005: Advances in Artificial Intelligence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898019)