Items where Author / Artist / Editor is "Alechina, Natasha"

See full list of headings
Export as [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference or Workshop Item

Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco (2015) Symbolic model checking for one-resource RBĀ±ATL. In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25-31 Jul 2015, Buenos Aires, Argentina.

Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco and Mostarda, Leonardo (2015) Symbolic model-checking for resource-bounded ATL. In: 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, 4-8 May 2015, Istanbul, Turkey.

Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco (2014) Decidable model-checking for a resource logic with production of resources. In: 21st European Conference on Artificial Intelligence (ECAI-2014), 18-22 Aug 2014, Prague, Czech Republic.

This list was generated on Wed Aug 16 04:21:02 2017 BST.