Sergiy Bogomolov

2014–2015

A researcher in the Science corpus: 2 papers; trusts 0 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Whom Sergiy Bogomolov trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. A. Cimatti
  2. Malte Helmert
  3. Edmund M. Clarke

Who trusts Sergiy Bogomolov overall

  1. Maria Fox
  2. Derek Long
  3. Daniele Magazzeni
  4. Malik Ghallab

Papers from Sergiy Bogomolov's perspective

Ordered by how strongly the researchers Sergiy Bogomolov trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Fast Downward Planning System
  2. Validating Plans in the Context of Processes and Exogenous Events
  3. Planning as Model Checking in Hybrid Domains
  4. NUSMV: a new symbolic model checker (International Journal on Software Tools for Technology Transfer (STTT))
  5. PHAVer: algorithmic verification of hybrid systems past HyTech (International Journal on Software Tools for Technology Transfer (STTT))
  6. SpaceEx: Scalable Verification of Hybrid Systems (International Conference on Computer Aided Verification)
  7. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (International Conference on Hybrid Systems: Computation and Control)
  8. Convex Analysis and Optimization
  9. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems (International Conference on Hybrid Systems: Computation and Control)
  10. Planning as Model Checking

Their papers