1594 search results - page 23 / 319 » Fast Prediction on a Tree |
CAV
2003
Springer
14 years 1 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
CPM
2001
Springer
14 years 12 days ago
2001
Springer
CPM
2008
Springer
13 years 9 months ago
2008
Springer
ALENEX
2008
13 years 9 months ago
2008
SODA
2008
ACM
13 years 9 months ago
2008
ACM
We show how to find a normal form proper equilibrium in behavior strategies of a given two-player zero-sum extensive form game with imperfect information but perfect recall. Our a...