Isomorph-Free Branch and Bound Search for Finite State Controllers

Grzes et al. "Isomorph-Free Branch and Bound Search for Finite State Controllers." International Joint Conference on Artificial Intelligence, 2013.

[Grzes et al. "Isomorph-Free Branch and Bound Search for Finite State Controllers." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/grzes2013ijcai-isomorph/)

@inproceedings{grzes2013ijcai-isomorph,
  title     = {{Isomorph-Free Branch and Bound Search for Finite State Controllers}},
  author    = {Grzes, Marek and Poupart, Pascal and Hoey, Jesse},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {2282-2290},
  url       = {https://mlanthology.org/ijcai/2013/grzes2013ijcai-isomorph/}
}