Isomorph-Free Branch and Bound Search for Finite State Controllers.

Marek Grzes, Pascal Poupart, Jesse Hoey

Browse the full IJCAI paper archive.