pith. sign in

Thomas A. Henzinger

Identifiers

  • name variant Thomas A. Henzinger 0.60 · backfill

Papers (59)

  1. Energy Shields for Fairness cs.AI · 2026 · author #2
  2. Decoupled Planning for Multiple Omega-Regular Objectives cs.FL · 2026 · author #2
  3. Extending QuAK with Nested Quantitative Automata cs.FL · 2026 · author #1
  4. Multi-Environment POMDPs with Finite-Horizon Objectives cs.AI · 2026 · author #4
  5. Randomise Alone, Reach as a Team cs.GT · 2026 · author #2
  6. Dicey Games: Shared Sources of Randomness in Distributed Systems cs.GT · 2026 · author #2
  7. Resolving Nondeterminism with Randomness cs.FL · 2025 · author #1
  8. History-Determinism vs Fair Simulation cs.FL · 2024 · author #2
  9. Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty eess.SY · 2019 · author #4
  10. Long-Run Average Behavior of Vector Addition Systems with States cs.FL · 2019 · author #2
  11. Bidding Mechanisms in Graph Games cs.GT · 2019 · author #2
  12. Compositional Specifications for ioco Testing cs.SE · 2019 · author #2
  13. Bidirectional Nested Weighted Automata cs.FL · 2017 · author #2
  14. Infinite-Duration Bidding Games cs.LO · 2017 · author #2
  15. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults cs.DC · 2017 · author #3
  16. Nested Weighted Limit-Average Automata of Bounded Width cs.FL · 2016 · author #2
  17. Invariant Clusters for Hybrid Systems math.OC · 2016 · author #5
  18. Linear Distances between Markov Chains cs.FL · 2016 · author #2
  19. Array Folds Logic cs.FL · 2016 · author #2
  20. Optimizing Solution Quality in Synchronization Synthesis cs.PL · 2015 · author #3
  21. Abstraction-driven Concolic Testing cs.LO · 2015 · author #3
  22. Lipschitz Robustness of Timed I/O Systems cs.FL · 2015 · author #1
  23. From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis cs.PL · 2015 · author #3
  24. Edit Distance for Pushdown Automata cs.FL · 2015 · author #2
  25. Nested Weighted Automata cs.FL · 2015 · author #2
  26. Faster Statistical Model Checking for Unbounded Temporal Properties cs.LO · 2015 · author #2
  27. Local Linearizability cs.PL · 2015 · author #2
  28. Model Checking Gene Regulatory Networks cs.CE · 2014 · author #4
  29. Regression-free Synthesis for Concurrency cs.PL · 2014 · author #2
  30. Lipschitz Robustness of Finite-state Transducers cs.FL · 2014 · author #1
  31. The Complexity of Multi-Mean-Payoff and Multi-Energy Games cs.GT · 2012 · author #4
  32. Finite Automata with Time-Delay Blocks (Extended Version) cs.FL · 2012 · author #2
  33. Counterexample-guided Planning cs.AI · 2012 · author #2
  34. Strategy Improvement for Concurrent Reachability and Safety Games cs.GT · 2012 · author #3
  35. Conditional Model Checking cs.SE · 2011 · author #2
  36. The Decidability Frontier for Probabilistic Automata on Infinite Words cs.LO · 2011 · author #2
  37. Timed Parity Games: Complexity and Robustness cs.LO · 2010 · author #2
  38. Generalized Mean-payoff and Energy Games cs.LO · 2010 · author #3
  39. Mean-payoff Automaton Expressions cs.LO · 2010 · author #4
  40. Randomness for Free cs.GT · 2010 · author #4
  41. SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks cs.CE · 2010 · author #2
  42. Hybrid Numerical Solution of the Chemical Master Equation q-bio.QM · 2010 · author #1
  43. GIST: A Solver for Probabilistic Games cs.LO · 2010 · author #2
  44. Measuring and Synthesizing Systems in Probabilistic Environments cs.LO · 2010 · author #2
  45. Synthesis of AMBA AHB from Formal Specification cs.LO · 2010 · author #3
  46. Probabilistic Weighted Automata cs.LO · 2009 · author #3
  47. Qualitative Analysis of Partially-observable Markov Decision Processes cs.LO · 2009 · author #3
  48. Expressiveness and Closure Properties for Quantitative Languages cs.LO · 2009 · author #3
  49. Better Quality in Synthesis through Quantitative Objectives cs.LO · 2009 · author #3
  50. Alpaga: A Tool for Solving Parity Games with Imperfect Information cs.GT · 2009 · author #5
  51. Termination Criteria for Solving Concurrent Safety and Reachability Games cs.GT · 2008 · author #3
  52. Probabilistic Systems with LimSup and LimInf Objectives cs.GT · 2008 · author #2
  53. Timed Parity Games: Complexity and Robustness cs.LO · 2008 · author #2
  54. Environment Assumptions for Synthesis cs.GT · 2008 · author #2
  55. Stochastic Limit-Average Games are in EXPTIME cs.GT · 2008 · author #3
  56. Algorithms for B\"uchi Games cs.GT · 2008 · author #2
  57. Strategy Improvement for Concurrent Safety Games cs.GT · 2008 · author #3
  58. Algorithms for Omega-Regular Games with Imperfect Information cs.LO · 2007 · author #3
  59. A Classification of Symbolic Transition Systems cs.LO · 2001 · author #1

Mentions

  • 1410.7704 #4 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1407.3681 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1404.6452 #1 · backfill · confidence 0.70 Thomas A. Henzinger
  • 2502.12872 #1 · arxiv_oai · confidence 0.70 Thomas A. Henzinger
  • 2407.08620 #2 · arxiv_oai · confidence 0.70 Thomas A. Henzinger
  • 2605.24926 #2 · arxiv_oai · confidence 0.70 Thomas A. Henzinger
  • 1209.3234 #4 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1207.7019 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1207.1373 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1201.2834 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1109.6926 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1104.0127 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 2605.12418 #1 · arxiv_oai · confidence 0.70 Thomas A. Henzinger
  • 1011.0688 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1007.1669 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1006.1492 #4 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1006.0673 #4 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1005.2819 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1005.0747 #1 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1004.2367 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1004.0739 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 1001.2811 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0909.1647 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0909.1645 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0905.2195 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0904.2638 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0901.4728 #5 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0809.4017 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0809.1465 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0807.1165 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0805.4167 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0805.2622 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0805.2620 #2 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0804.4530 #3 · backfill · confidence 0.70 Thomas A. Henzinger
  • 0706.2619 #3 · backfill · confidence 0.70 Thomas A. Henzinger

Frequent Coauthors