2 search results - page 1 / 1 » OBDD-Based Universal Planning for Multiple Synchronized Agen... |
148
click to vote
JAIR
2000
15 years 5 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...