Author:
Meyer Pierre-Jean,Devonport Alex,Arcak Murat
Publisher
Springer International Publishing
Reference2 articles.
1. Frehse G, Krogh BH, Rutenbar RA (2006) Verifying analog oscillator circuits using forward/backward abstraction refinement. In: Proceedings of the design automation & test in Europe conference, vol 1. IEEE
2. Immler F, Althoff M, Chen X, Fan C, Frehse G, Kochdumper N, Li Y, Mitra S, Tomar MS, Zamani M (2018) ARCH-COMP18 category report: continuous and hybrid systems with nonlinear dynamics. In: Proceedings of the 5th international workshop on applied verification for continuous and hybrid systems