Yadav, Nitin

4 publications

IJCAI 2017 Agent Design Consistency Checking via Planning Nitin Yadav, John Thangarajah, Sebastian Sardiña

IJCAI 2013 Behavior Composition Optimization Nitin Yadav

IJCAI 2013 Supremal Realizability of Behaviors with Uncontrollable Exogenous Events Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña

IJCAI 2013 Using Strategic Logics to Reason About Agent Programs Nitin Yadav, Sebastian Sardiña