Nitin Yadav

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 11

Top Topics

Decision Making

Knapsack Problem

Top Venues

Publications

Nitin Yadav, Sebastian Sardiña
A Declarative Approach to Compact Controllers for FOND Planning via Answer Set Programming. ECAI (2023)
Sayantani Bhattacharya, Nitin Yadav, Azeem Ahmad, Frank Melandsø, Anowarul Habib
Multiple Damage Detection in PZT Sensor Using Dual Point Contact Method. Sensors 22 (23) (2022)
Juan Pablo Franco, Karlo Doroc, Nitin Yadav, Peter Bossaerts, Carsten Murawski
Computational cognitive requirements of random decision problems. CogSci (2020)
Nitin Yadav, Carsten Murawski, Sebastian Sardiña, Peter Bossaerts
Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack Problem. ECAI (2020)
Michael Winikoff, Nitin Yadav, Lin Padgham
A new Hierarchical Agent Protocol Notation. Auton. Agents Multi Agent Syst. 32 (1) (2018)
Nitin Yadav, Carsten Murawski, Sebastian Sardiña, Peter Bossaerts
Phase transition in the knapsack problem. CoRR (2018)
Michael Winikoff, Nitin Yadav, Lin Padgham
A new Hierarchical Agent Protocol Notation. AAMAS (2018)
Nitin Yadav, John Thangarajah, Sebastian Sardiña
Agent Design Consistency Checking via Planning. IJCAI (2017)
Paolo Felli, Nitin Yadav, Sebastian Sardiña
Supervisory Control for Behavior Composition. IEEE Trans. Autom. Control. 62 (2) (2017)
Paolo Felli, Nitin Yadav, Sebastian Sardiña
Supervisory Control for Behavior Composition. CoRR (2016)
Nitin Yadav, John Thangarajah
Checking the Conformance of Requirements in Agent Designs Using ATL. ECAI (2016)
Rick Evertsz, John Thangarajah, Nitin Yadav, Thanh Chi Ly
Agent Oriented Modelling of Tactical Decision Making. AAMAS (2015)
Nitin Yadav, Lin Padgham, Michael Winikoff
A Tool for Defining Agent Protocols in HAPN: (Demonstration). AAMAS (2015)
Rick Evertsz, John Thangarajah, Nitin Yadav, Thanh Ly
A framework for modelling tactical decision-making in autonomous systems. J. Syst. Softw. 110 (2015)
Rick Evertsz, John Thangarajah, Nitin Yadav, Thanh Li
Tactics development framework (demonstration). AAMAS (2014)
Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. IJCAI (2013)
Miquel Ramírez, Nitin Yadav, Sebastian Sardiña
Behavior Composition as Fully Observable Non-Deterministic Planning. ICAPS (2013)
Nitin Yadav
Behavior Composition Optimization. IJCAI (2013)
Nitin Yadav, Sebastian Sardiña
Using Strategic Logics to Reason about Agent Programs. IJCAI (2013)
Nitin Yadav, Sebastian Sardiña
Reasoning about Agent Programs using ATL-like Logics CoRR (2012)
Nitin Yadav, Sebastian Sardiña
Qualitative Approximate Behavior Composition. JELIA (2012)
Nitin Yadav, Sebastian Sardiña
Qualitative Approximate Behavior Composition CoRR (2012)
Nitin Yadav, Sebastian Sardiña
Reasoning about Agent Programs Using ATL-Like Logics. JELIA (2012)
Nitin Yadav, Sebastian Sardiña
Decision theoretic behavior composition. AAMAS (2011)
Nitin Yadav, Chenguang Zhou, Sebastian Sardiña, Ralph Rönnquist
A BDI agent system for the cow herding domain. Ann. Math. Artif. Intell. 59 (3-4) (2010)