Crynodeb
Computation systems and logics for modelling such systems have been studied to a great extent in the past decades. This paper introduces resources into the models of systems and discusses the Resource-Bounded Tree Logics RTL and RTL*, based on the well-known Computation Tree Logics CTL and CTL*, for reasoning about computations of such systems. We present initial results on the complexity/decidability of model checking.
Iaith wreiddiol | Saesneg |
---|---|
Teitl | N/A |
Tudalennau | 22-45 |
Cyfrol | 6214 |
Dynodwyr Gwrthrych Digidol (DOIs) | |
Statws | Cyhoeddwyd - 10 Medi 2010 |
Digwyddiad | Computational Logic in Multi-Agent Systems. Post-Proceedings of CLIMA X - Hamberg Germany Hyd: 9 Medi 2010 → 10 Medi 2010 |
Cynhadledd
Cynhadledd | Computational Logic in Multi-Agent Systems. Post-Proceedings of CLIMA X |
---|---|
Cyfnod | 9/09/10 → 10/09/10 |