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

Article

Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4) . pp. 679-703. ISSN 0039-3215 [Article] (doi:10.1007/s11225-015-9621-4)

Conference or Workshop Item

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) From raw data to agent perceptions for simulation, verification, and monitoring. Intelligent Environments 2016 - Workshop Proceedings of the 12th International Conference on Intelligent Environments. 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. ISBN 9781614996897. [Conference or Workshop Item] (doi:10.3233/978-1-61499-690-3-66)

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), May 5-9, 2014, Paris, France. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '14, 5-9 May 2014, Paris, France. ISBN 9781450327381. [Conference or Workshop Item]

Rungta, Neha, Brat, Guillaume, Clancey, William J., Linde, Charlotte, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Seah, Chin and Shafto, Michael (2013) Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS '13 Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems - ATACCS '13. In: ATACCS 2013, 28-30 May 2013, Naples, Italy. ISBN 9781450322492. [Conference or Workshop Item] (doi:10.1145/2494493.2494498)

Hunter, Josie, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Rungta, Neha and Stocker, Richard (2013) A synergistic and extensible framework for multi-agent system verification. AAMAS '13 Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems. In: AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems, 6-10 May 2013, Saint Paul, Minnesota, USA.. ISBN 9781450319935. [Conference or Workshop Item]