- TIIS 5(12):2294-2314 (2011)
- IEEE Trans. Automat. Contr. 56(4):935-941 (2011)
- SOFSEM, volume 7147 of Lecture Notes in Computer Science, page 153-164. Springer, (2012)
- AIPS, page 315-322. AAAI, (2000)
- Automatica 48(1):205-210 (2012)
- IEEE Trans. Contr. Sys. Techn. 19(3):601-614 (2011)
- Automatica 41(9):1609-1615 (2005)
- Automatica 34(1):125-131 (1998)
- Systems & Control Letters 61(1):11-17 (2012)
- CoRR (2011)
- CoRR (2010)
- CoRR (2005)
- CoRR (2001)
- J. Log. Program. 23(1):1-61 (1995)
- Automatica 47(12):2554-2561 (2011)
- J. Discrete Algorithms 9(4):365-376 (2011)
- PRIMA, volume 7047 of Lecture Notes in Computer Science, page 247-262. Springer, (2011)
- J. Graph Algorithms Appl. 15(2):229-251 (2011)
- IEEE Trans. Computers 54(5):558-572 (2005)
- AAMAS 2, page 647-654. IFAAMAS, (2008)


author