pith. sign in

Kim G. Larsen

Identifiers

  • name variant Kim G. Larsen 0.60 · backfill

Papers (19)

  1. L*-Based Learning of Markov Decision Processes (Extended Version) cs.LG · 2019 · author #5
  2. Parameter Synthesis Problems for one parametric clock Timed Automata cs.FL · 2018 · author #6
  3. On the Metric-based Approximate Minimization of Markov Chains cs.FL · 2018 · author #3
  4. Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty cs.FL · 2018 · author #4
  5. On-the-Fly Computation of Bisimilarity Distances cs.LO · 2017 · author #3
  6. Compositional bisimulation metric reasoning with Probabilistic Process Calculi cs.LO · 2016 · author #2
  7. WNetKAT: A Weighted SDN Programming and Verification Language cs.NI · 2016 · author #1
  8. Average-energy games (full version) cs.LO · 2015 · author #4
  9. Limit Your Consumption! Finding Bounds in Average-energy Games cs.GT · 2015 · author #1
  10. Language Emptiness of Continuous-Time Parametric Timed Automata cs.FL · 2015 · author #3
  11. Topologies of Stochastic Markov Models: Computational Aspects cs.FL · 2014 · author #3
  12. Time-Darts: A Data Structure for Verification of Closed Timed Automata cs.DS · 2012 · author #2
  13. Weighted Modal Transition Systems cs.LO · 2012 · author #4
  14. On the Relationship between LTL Normal Forms and Buechi Automata cs.FL · 2012 · author #6
  15. MDM: A Mode Diagram Modeling Framework for Periodic Control Systems cs.SY · 2012 · author #5
  16. Controllers with Minimal Observation Power (Application to Timed Systems) cs.SY · 2012 · author #4
  17. A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example cs.SY · 2012 · author #4
  18. Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata cs.SE · 2011 · author #2
  19. Model Checking One-clock Priced Timed Automata cs.LO · 2008 · author #2

Mentions

  • 1211.6195 #2 · backfill · confidence 0.70 Kim G. Larsen
  • 1210.5659 #4 · backfill · confidence 0.70 Kim G. Larsen
  • 1207.3866 #6 · backfill · confidence 0.70 Kim G. Larsen
  • 1207.1276 #4 · backfill · confidence 0.70 Kim G. Larsen
  • 1207.0922 #5 · backfill · confidence 0.70 Kim G. Larsen
  • 1203.6025 #4 · backfill · confidence 0.70 Kim G. Larsen
  • 1106.3961 #2 · backfill · confidence 0.70 Kim G. Larsen
  • 0805.1457 #2 · backfill · confidence 0.70 Kim G. Larsen

Frequent Coauthors