Sergiy Bogomolov

Identifiers

• name variant Sergiy Bogomolov 0.60 · backfill

Papers (5)

1. Reachability analysis of linear hybrid systems via block decomposition eess.SY · 2019 · author #1
2. Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices eess.SY · 2018 · author #1
3. Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems cs.AI · 2016 · author #2
4. Parallel Reachability Analysis for Hybrid Systems cs.DC · 2016 · author #4
5. Invariant Clusters for Hybrid Systems math.OC · 2016 · author #2

Mentions

• 1905.02458 #1 · arxiv_oai · confidence 0.70 Sergiy Bogomolov
• 1801.09526 #1 · arxiv_oai · confidence 0.70 Sergiy Bogomolov
• 1605.01450 #2 · arxiv_oai · confidence 0.70 Sergiy Bogomolov

Frequent Coauthors

• Christian Schilling 4 shared papers
• Goran Frehse 2 shared papers
• Marcelo Forets 2 shared papers
• Alexander Heinz 1 shared papers
• Amit Gurung 1 shared papers
• Andreas Podelski 1 shared papers
• Arup Deka 1 shared papers
• Daniel Bryce 1 shared papers
• Ezio Bartocci 1 shared papers
• Fr\'ed\'eric Viry 1 shared papers
• Hui Kong 1 shared papers
• Kostiantyn Potomkin 1 shared papers
• Radu Grosu 1 shared papers
• Rajarshi Ray 1 shared papers
• Thomas A. Henzinger 1 shared papers
• Yu Jiang 1 shared papers