Sergiy Bogomolov (Australian National University)

Identifiers

• name variant Sergiy Bogomolov (Australian National University) 0.60 · backfill

Papers (1)

1. Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis cs.SY · 2017 · author #2

Mentions

• 1704.02421 #2 · arxiv_oai · confidence 0.70 Sergiy Bogomolov (Australian National University)

Frequent Coauthors

• Erika \'Abrah\'am (RWTH Aachen University) 1 shared papers