Nitin Yadav

Python Client and Server Software for Algorithmic Traders interfacing with Flex-E-Markets

Abhijeet Anand, Nitin Yadav, Peter Bossaerts

Software / Code  |  2020

Flex-E-Markets1 is a software-as-a-service (SaaS) platform that allows creation of experimental markets. The platform is equipped ..

Computational Complexity and Asset Pricing

Peter Bossaerts, Elizabeth Bowman, Felix Fattinger, Harvey Huang, Carsten Murawski, Anirudh Suthakar, Shireen Tang, Nitin Yadav

Conference Proceedings  |  2020  |  SSRN Electronic Journal

We study how markets help spread knowledge about solutions to the standard but computationally hard problem of maximizing value ov..

Is Hardness Inherent In Computational Problems? Performance Of Human And Digital Computers On Random Instances Of The 0-1 Knapsack Problem

Nitin Yadav, Carsten Murawski, Sebastian Sardina, Peter Bossaerts

Conference Proceedings  |  2020  |  Proceedings of 24th European Conference On Artificial Intelligence

Phase transition in the knapsack problem

Nitin Yadav, Carsten Murawski, Sebastian Sardina, Peter Bossaerts

Journal article  |  2019  |  arXiv

We examine the phase transition phenomenon for the Knapsack problem from both a computational and a human perspective. We first pr..

Uncertainty and computational complexity

P Bossaerts, Nitin Yadav, Carsten Murawski

Journal article  |  2018  |  Philosophical Transactions of the Royal Society B: Biological Sciences

Modern theories of decision-making typically model uncertainty about decision options using the tools of probability theory. This ..

A new Hierarchical Agent Protocol Notation

Michael Winikoff, Nitin Yadav, Lin Padgham

Conference Proceedings  |  2018  |  PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18)

Agent interaction protocols are a key aspect of the design of multi agent systems. However, commonly-used notations are, we argue,..

A new hierarchical agent protocol notation: JAAMAS track

M Winikoff, N Yadav, L Padgham

Conference Proceedings  |  2018  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Agent interaction protocols are a key aspect of the design of multi- Agent systems. However, commonly-used notations are, we argue..

A new Hierarchical Agent Protocol Notation

M Winikoff, N Yadav, L Padgham

Journal article  |  2018  |  Autonomous Agents and Multi-Agent Systems

Agent interaction descriptions (or protocols) are a key aspect of the design of multi-agent systems. However, in the authors’ exte..

Supervisory Control for Behavior Composition

Paolo Felli, Nitin Yadav, Sebastian Sardina

Journal article  |  2017  |  IEEE Transactions on Automatic Control

Agent design consistency checking via planning

N Yadav, J Thangarajah, S Sardina

Conference Proceedings  |  2017  |  IJCAI International Joint Conference on Artificial Intelligence

Checking the Conformance of Requirements in Agent Designs Using ATL

Nitin Yadav, John Thangarajah

Conference Proceedings  |  2016  |  Frontiers in Artificial Intelligence and Applications

A framework for modelling tactical decision-making in autonomous systems

Rick Evertsz, John Thangarajah, Nitin Yadav, Thanh Ly

Journal article  |  2015  |  Journal of Systems and Software

A tool for defining agent protocols in HAPN (demonstration)

N Yadav, L Padgham, M Winikoff

Conference Proceedings  |  2015  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Agent Oriented Modelling of Tactical Decision Making

Rick Evertsz, John Thangarajah, Nitin Yadav, Thanh Chi Ly

Conference Proceedings  |  2015  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

A Tool for Defining Agent Protocols in HAPN

Nitin Yadav, Lin Padgham, Michael Winikoff

Conference Proceedings  |  2015  |  PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15)

Tactics Development Framework

Rick Evertsz, John Thangarajah, Nitin Yadav, Ly Thanh

Conference Proceedings  |  2014  |  13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014

Behavior composition as fully observable non-deterministic planning

M Ramirez, N Yadav, S Sardina

Conference Proceedings  |  2013  |  ICAPS

Supremal realizability of behaviors with uncontrollable exogenous events

N Yadav, P Felli, G De Giacomo, S Sardina

Conference Proceedings  |  2013  |  IJCAI International Joint Conference on Artificial Intelligence

Using strategic logics to reason about agent programs

N Yadav, S Sardina

Conference Proceedings  |  2013  |  IJCAI International Joint Conference on Artificial Intelligence

Behavior composition optimization

N Yadav

Conference Proceedings  |  2013  |  IJCAI International Joint Conference on Artificial Intelligence

Reasoning about agent programs using ATL-like logics

N Yadav, S Sardina

Conference Proceedings  |  2012  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Qualitative approximate behavior composition

N Yadav, S Sardina

Conference Proceedings  |  2012  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Decision theoretic behavior composition

N Yadav, S Sardina

Conference Proceedings  |  2011  |  10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011

Thinking head framework: An open architecture for human centred robotics

DC Herath, Z Zhang, N Yadav

Conference Proceedings  |  2010  |  2010 Fifth International Conference on Information and Automation for Sustainability

A BDI agent system for the cow herding domain

Nitin Yadav, Chenguang Zhou, Sebastian Sardina, Ralph Roennquist

Journal article  |  2010  |  Annals of Mathematics and Artificial Intelligence

The Efficient Markets Hypothesis Does Not Hold When Securities Valuation Is Computationally Hard

Shireen Tang, Shijie Huang, Elizabeth Bowman, Carsten Murawski, Peter Bossaerts

Journal article  |  SSRN Electronic Journal