Items where Author / Artist / Editor is "Rungta, Neha"

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

Article

Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4). pp. 679-703. ISSN 0039-3215

Conference or Workshop Item

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco and Rungta, Neha (2016) From raw data to agent perceptions for simulation, verification, and monitoring. In: 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16), 14-16 Sept 2016, London, United Kingdom.

Primiero, Giuseppe, Raimondi, Franco and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '14, 5-9 May 2014, Paris, France.

Rungta, Neha, Brat, Guillaume, Clancey, William J., Linde, Charlotte, Raimondi, Franco, Seah, Chin and Shafto, Michael (2013) Aviation safety: modeling and analyzing complex interactions between humans and automated systems. In: ATACCS 2013, 28-30 May 2013, Naples, Italy.

Hunter, Josie, Raimondi, Franco, Rungta, Neha and Stocker, Richard (2013) A synergistic and extensible framework for multi-agent system verification. In: AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems, 6-10 May 2013, Saint Paul, Minnesota, USA..

This list was generated on Sun May 26 04:48:19 2019 BST.