Graz University of Technology Professor Horst Cerjak, 19.12.2005 1 Barbara Jobstmann San Jose, Nov 15Optimizations for LTL Synthesis Barbara Jobstmann.
Introduction to Artificial Life and Cellular Automata
RFQ Input Acceptance Studies
Optimizations for LTL Synthesis