Nitin Yadav
Title
Cited by
Cited by
Year
Uncertainty and computational complexity
P Bossaerts, N Yadav, C Murawski
Philosophical Transactions of the Royal Society B 374 (1766), 20180138, 2018
502018
A framework for modelling tactical decision-making in autonomous systems
R Evertsz, J Thangarajah, N Yadav, T Ly
Journal of Systems and Software 110, 222-238, 2015
262015
A new Hierarchical Agent Protocol Notation
M Winikoff, N Yadav, L Padgham
Autonomous Agents and Multi-Agent Systems 32 (1), 59-133, 2018
192018
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events.
N Yadav, P Felli, G De Giacomo, S Sardina
IJCAI, 1176-1182, 2013
182013
Behavior Composition as Fully Observable Non-Deterministic Planning.
M Ramirez, N Yadav, S Sardina
ICAPS, 2013
172013
Reasoning about agent programs using ATL-Like logics
N Yadav, S Sardina
Logics in Artificial Intelligence, 437-449, 2012
112012
Decision theoretic behavior composition
N Yadav, S Sardina
The 10th International Conference on Autonomous Agents and Multiagent …, 2011
102011
Qualitative approximate behavior composition
N Yadav, S Sardina
Logics in Artificial Intelligence, 450-462, 2012
92012
Agent oriented modelling of tactical decision making
R Evertsz, J Thangarajah, N Yadav, TC Ly
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
82015
Tactics development framework
R Evertsz, J Thangarajah, N Yadav, T Li
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
72014
A Tool for Defining Agent Protocols in HAPN
N Yadav, L Padgham, M Winikoff
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
62015
Supervisory control for behavior composition
P Felli, N Yadav, S Sardina
IEEE Transactions on Automatic Control 62 (2), 986-991, 2017
52017
A BDI agent system for the cow herding domain
N Yadav, C Zhou, S Sardina, R Rönnquist
Annals of Mathematics and Artificial Intelligence 59 (3-4), 313-333, 2010
52010
Humans in Charge of Trading Robots: The First Experiment
E Asparouhova, P Bossaerts, K Rotaru, T Wang, N Yadav, W Yang
4*
Asset Pricing under Computational Complexity
P Bossaerts, E Bowman, S Huang, C Murawski, S Tang, N Yadav
32018
Where the really hard choices are: A general framework to quantify decision difficulty
JP Franco, N Yadav, P Bossaerts, C Murawski
bioRxiv, 405449, 2018
32018
Agent design consistency checking via planning
N Yadav, J Thangarajah, S Sardina
Proceedings of the twenty-sixth international joint conference on artificial …, 2017
32017
HAPN: Hierarchical Agent Protocol Notation
N Yadav, M Winikoff, L Padgham
Proceedings of the International Workshop on Coordination, Organisation …, 2015
32015
Phase transition in the knapsack problem
N Yadav, C Murawski, S Sardina, P Bossaerts
arXiv preprint arXiv:1806.10244, 2018
22018
Checking the Conformance of Requirements in Agent Designs Using ATL.
N Yadav, J Thangarajah
ECAI, 243-251, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20