245 followers
Symbolic Polytopes for Quantitative Interpolation and Verification. - Klaus von Gleissenthall, Boris Köpf, Andrey… http://t.co/NHGRisHiQG
Symbolic Polytopes for Quantitative Interpolation and Verification. - Klaus von Gleissenthall, Boris Köpf, Andrey… http://t.co/NHGRisHiQG