• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Games-based Controller Synthesis for Discrete Systems

Ralph-Johan Back, Cristina Cerschi Seceleanu, Games-based Controller Synthesis for Discrete Systems. TUCS Technical Reports 594, Turku Centre for Computer Science, 2004.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBaSe04a,
  title = {Games-based Controller Synthesis for Discrete Systems},
  author = {Back, Ralph-Johan and Cerschi Seceleanu, Cristina},
  number = {594},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2004},
  ISBN = {952-12-1313-2},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Edit publication