IEEE - Institute of Electrical and Electronics Engineers, Inc. - Interpreted Systems and ATL Logics

2009 Fourth International Conference on Computer Sciences and Convergence Information Technology (ICCIT)

Author(s): Jarok Koo
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2009
Conference Location: Seoul, Korea, Korea (South)
Conference Date: 24 November 2009
Page(s): 1,259 - 1,261
ISBN (CD): 978-0-7695-3896-9
ISBN (Paper): 978-1-4244-5244-6
DOI: 10.1109/ICCIT.2009.314
Regular:

We compare Interpreted systems and ATL (Alternating-time Temporal Logic) and study the similarities and differences between the two semantics.

Advertisement