Model checking real-time conditional commitment logic using transformation

Al-Saqqar, 2015, Model checking temporal knowledge and commitments in multi-agent systems using reduction, Simul. Modell. Pract. Theory, 51, 45, 10.1016/j.simpat.2014.11.003 Alur, 1996, The benefits of relaxing punctuality, J. ACM, 43, 116, 10.1145/227595.227602 Baldoni, 2015, Composing and verifying commitment-based multiagent protocols, 10 Bentahar, 2012, Communicative commitments: model checking and complexity analysis, Knowl. Based Syst., 35, 21, 10.1016/j.knosys.2012.04.010 Boniol, 2014, The landing gear system case study, 1 Chesani, 2013, Representing and monitoring social commitments using the event calculus, Autonom. Agent Multi Agent Syst., 27, 85, 10.1007/s10458-012-9202-0 Chopra, 2015, Cupid: Commitments in relational algebra, 2052 Cimatti, 2002, NuSMV 2: An open source tool for symbolic model checking, 359 Clarke, 1999 Clarke, 2009, Model checking: algorithmic verification and debugging, Commun. ACM, 52, 74, 10.1145/1592761.1592781 Desai, 2005, Interaction protocols as design abstractions for business processes, IEEE Trans. Softw. Eng., 31, 1015, 10.1109/TSE.2005.140 Desai, 2007, A modular action description language for protocol composition, 962 El-Kholy, 2014, Conditional commitments: reasoning and model checking, ACM Trans. Softw. Eng. Methodol., 24 El-Kholy, 2015, Formal specification and automatic verification of conditional commitments, IEEE Intell. Syst., 30, 36, 10.1109/MIS.2015.6 El-Kholy, 2015, Real-time conditional commitment logic, 547 El-Menshawy, 2011, Symbolic model checking commitment protocols using reduction, 185 El-Menshawy, 2013, Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*, Autonom. Agent Multi-Agent Syst., 27, 375, 10.1007/s10458-012-9208-7 El-Menshawy, 2013, Verifying conformance of multi-agent commitment-based protocols, Expert. Syst. Appl., 40, 122, 10.1016/j.eswa.2012.07.030 El-Menshawy, 2015, Computational logics and verification techniques of multi-agent commitments: survey, Knowl. Eng. Rev. Cambridge, 30, 564, 10.1017/S0269888915000065 El-Menshawy, 2011, On the verification of social commitments and time, 483 Emerson, 1992, Quantitative temporal reasoning, Real-Time Syst., 4, 331, 10.1007/BF00355298 Fagin, 1995 García-Magariño, 2016, A model-driven approach for constructing ambient assisted-living multi-agent systems customized for parkinson patients, J. Syst. Softw., 111, 34, 10.1016/j.jss.2015.09.014 Koymans, 1990, Specifying real-time properties with metric temporal logic, Real-time Systems, 2, 255, 10.1007/BF01995674 Laroussinie, 2003, On the expressivity and complexity of quantitative branching-time temporal logics, Theor. Comput. Sci., 297, 297, 10.1016/S0304-3975(02)00644-8 Lomuscio, 2007, Automatic verification of knowledge and time with nusmv, 1384 Mallya, 2004, Resolving commitments among autonomous agents, 166 Moy, 2013, Testing or formal verification: DO-178c alternatives and industrial experience, IEEE Software, 30, 50, 10.1109/MS.2013.43 Ouaknine, 2008, Some recent results in metric temporal logic, 1 Santhanam, 2016, Qualitative optimization in software engineering: a short survey, J. Syst. Softw., 111, 149, 10.1016/j.jss.2015.09.001 Schnoebelen, 2002, The complexity of temporal logic model checking, 4, 1 Singh, 2008, Semantical considerations on dialectical and practical commitments, 176 Torroni, 2010, Social commitments in time: Satisfied or compensated, 228 Yolum, 2004, Reasoning about commitments in the event calculus: an approach for sepcifying and executing protocols, Ann. Math. Artif. Intell., 42, 227, 10.1023/B:AMAI.0000034528.55456.d9