1 × France
1 × Germany
J.Gladigau C.Haubelt B.Andres T.Schaub
system (3) solv (2) smt (2) synthesi (1) approach (1) coordin (1) symbol (1) combin (1) novel (1) model (1)
Person: Alexander Biewer
Wrote 2 papers:
- DATE-2015-BiewerAGSH #approach #coordination #realtime #synthesis
- A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving (AB, BA, JG, TS, CH), pp. 357–362.
- DATE-2014-BiewerGH #novel #smt
- A novel model for system-level decision making with combined ASP and SMT solving (AB, JG, CH), pp. 1–4.