Nitin Yadav

According to our database, Nitin Yadav authored at least 21 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Declarative Approach to Compact Controllers for FOND Planning via Answer Set Programming.

Nitin Yadav, Sebastian Sardiña

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Multiple Damage Detection in PZT Sensor Using Dual Point Contact Method.

Sayantani Bhattacharya, Nitin Yadav, Azeem Ahmad, Frank Melandsø, Anowarul Habib

Sensors, 2022

2020

Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack Problem.

Nitin Yadav, Carsten Murawski, Sebastian Sardiña, Peter Bossaerts

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Computational cognitive requirements of random decision problems.

Juan Pablo Franco, Karlo Doroc, Nitin Yadav, Peter Bossaerts, Carsten Murawski

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

2018

Phase transition in the knapsack problem.

Nitin Yadav, Carsten Murawski, Sebastian Sardiña, Peter Bossaerts

CoRR, 2018

A new Hierarchical Agent Protocol Notation.

Michael Winikoff, Nitin Yadav, Lin Padgham

Auton. Agents Multi Agent Syst., 2018

2017

Supervisory Control for Behavior Composition.

Paolo Felli, Nitin Yadav, Sebastian Sardiña

IEEE Trans. Autom. Control., 2017

Agent Design Consistency Checking via Planning.

Nitin Yadav, John Thangarajah, Sebastian Sardiña

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Checking the Conformance of Requirements in Agent Designs Using ATL.

Nitin Yadav, John Thangarajah

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

A framework for modelling tactical decision-making in autonomous systems.

Rick Evertsz, John Thangarajah, Nitin Yadav, Thanh Ly

J. Syst. Softw., 2015

A Tool for Defining Agent Protocols in HAPN: (Demonstration).

Nitin Yadav, Lin Padgham, Michael Winikoff

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

Agent Oriented Modelling of Tactical Decision Making.

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

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

2014

Tactics development framework (demonstration).

Rick Evertsz, John Thangarajah, Nitin Yadav, Thanh Li

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Using Strategic Logics to Reason about Agent Programs.

Nitin Yadav, Sebastian Sardiña

Proceedings of the IJCAI 2013, 2013

Supremal Realizability of Behaviors with Uncontrollable Exogenous Events.

Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña

Proceedings of the IJCAI 2013, 2013

Behavior Composition Optimization.

Nitin Yadav

Proceedings of the IJCAI 2013, 2013

Behavior Composition as Fully Observable Non-Deterministic Planning.

Miquel Ramírez, Nitin Yadav, Sebastian Sardiña

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Qualitative Approximate Behavior Composition.

Nitin Yadav, Sebastian Sardiña

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Reasoning about Agent Programs Using ATL-Like Logics.

Nitin Yadav, Sebastian Sardiña

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

Decision theoretic behavior composition.

Nitin Yadav, Sebastian Sardiña

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

A BDI agent system for the cow herding domain.

Nitin Yadav, Chenguang Zhou, Sebastian Sardiña, Ralph Rönnquist

Ann. Math. Artif. Intell., 2010