Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)

Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani. Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Dagstuhl Reports, 6(12):1-28, 2016. [doi]

Authors

Sergiy Bogomolov

This author has not been identified. Look up 'Sergiy Bogomolov' in Google

Martin Fränzle

This author has not been identified. Look up 'Martin Fränzle' in Google

Kyoko Makino

This author has not been identified. Look up 'Kyoko Makino' in Google

Nacim Ramdani

This author has not been identified. Look up 'Nacim Ramdani' in Google