Martin Wehrle

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.

Who trusts Martin Wehrle overall

  1. Maria Fox

Papers from Martin Wehrle's perspective

Ordered by how strongly the researchers Martin Wehrle 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