Sergiy Bogomolov und Christian Schilling - Info zur Person

(1 - 11 von 14

)

Christian Schilling's articles on arXivarxiv.org › schilling_c_1

arxiv.org

Authors: Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling. Comments: Accepted at EMSOFT

[ ] Instrumenting an SMT Solver to Solve Hybrid Network...

arxiv.org

Authors: Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling. (Submitted on 13 Sep 2016). Abstract: PDDL+ planning has its semantics rooted ...

Discrete abstraction of multiaffine systems

research-explorer.app.ist.ac.at

Kong, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of ...

Abstraction-Based Parameter Synthesis for Multiaffine Systems - Inriahal.inria.fr › hal

hal.inria.fr

Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Gregory Batt, Hui Kong, et al.. Abstraction-Based Parameter Synthesis for Multiaffine Systems.

Applied Verification for Continuous and Hybrid Systems | CPS-VOcps-vo.org › group › ARCH

cps-vo.org

Best Tool Award at ARCH goes to Stanley Bak, Sergiy Bogomolov, and Christian Schilling. The best tool award at ARCH goes to Stanley Bak, ...

Luan V. Nguyen's homepageluanvietnguyen.github.io

luanvietnguyen.github.io

Stanley Bak, Omar Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen , and Christian Schilling, “Hybrid Automata: from Verification to Implementation ...

Accepted Papers | HSCC2018

www.hscc2018.deib.polimi.it

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling and Frédéric Viry. Specifying Timed Patterns using Temporal Logic

Research - Taylor Johnsonverivital.com › ...

verivital.com

[J20], Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, "Hybrid Automata: From Verification to ...

Reach Set Approximation through Decomposition with Low ...vbn.aau.dk › publications › reach-set-approximation...

vbn.aau.dk

Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling. Research output: Contribution to ...

Alle Infos zum Namen "Sergiy Bogomolov"

Verwandte Suchanfragen zu Sergiy Bogomolov

Alexander Heinz
Andreas Podelski
Christian Schilling

Marius Greitschus
Erika Ábrahám
Martin Fränzle

Matthias Althoff

Personen
Vorname "Sergiy" (113)
Name "Bogomolov" (30)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sergiy Bogomolov und Christian Schilling Person-Info