Reducing model checking commitments for agent communication to model checking ARCTL and GCTL* - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed El-Menshawy, Jamal Bentahar, Warda El Kholy, Rachida Dssouli. Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Autonomous Agents and Multi-Agent Systems, 27(3):375-418, 2013. [doi]

This author has not been identified. Look up 'Mohamed El-Menshawy' in GoogleThis author has not been identified. Look up 'Jamal Bentahar' in GoogleThis author has not been identified. Look up 'Warda El Kholy' in GoogleThis author has not been identified. Look up 'Rachida Dssouli' in Google

runs on WebDSL