Goran Frehse

Identifiers

• name variant Goran Frehse 0.60 · backfill

Papers (3)

1. Reachability analysis of linear hybrid systems via block decomposition eess.SY · 2019 · author #3
2. Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices eess.SY · 2018 · author #3
3. Formal Feature Interpretation of Hybrid Systems cs.LO · 2017 · author #2

Mentions

• 1905.02458 #3 · arxiv_oai · confidence 0.70 Goran Frehse
• 1801.09526 #3 · arxiv_oai · confidence 0.70 Goran Frehse

Frequent Coauthors

• Christian Schilling 2 shared papers
• Marcelo Forets 2 shared papers
• Sergiy Bogomolov 2 shared papers
• Andreas Podelski 1 shared papers
• Antonio Anastasio Bruto da Costa 1 shared papers
• Fr\'ed\'eric Viry 1 shared papers
• Kostiantyn Potomkin 1 shared papers
• Pallab Dasgupta 1 shared papers