Title :
Interpreted Systems and ATL Logics
Author_Institution :
Sch. of Comput. Eng. & Inf. Technol., Univ. of Ulsan, Ulsan, South Korea
Abstract :
We compare Interpreted systems and ATL (alternating-time temporal logic) and study the similarities and differences between the two semantics.
Keywords :
temporal logic; ATL logics; alternating-time temporal logic; interpreted systems; Application software; Cost accounting; Formal verification; Information technology; Logic; Multiagent systems; Protocols; Tellurium; ATL; Semantics; interpreted systems;
Conference_Titel :
Computer Sciences and Convergence Information Technology, 2009. ICCIT '09. Fourth International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-4244-5244-6
Electronic_ISBN :
978-0-7695-3896-9
DOI :
10.1109/ICCIT.2009.314
