Items where Author / Artist / Editor is "Rungta, Neha"
![]() | See full list of headings |
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 2014 international conference on Autonomous agents and multi-agent systems (AAMAS '14).
In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '14, 05-09 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]