research
∙
06/26/2018
Phase transition in the knapsack problem
We examine the phase transition phenomenon for the Knapsack problem from...
share
research
∙
07/17/2012
Reasoning about Agent Programs using ATL-like Logics
We propose a variant of Alternating-time Temporal Logic (ATL) grounded i...
research
∙
07/17/2012
