Thomas A. Henzinger

University of California System, University of California, Berkeley, Institute of Science and Technology Austria

论文数

11

总引用数

848

H-Index

8

关于

暂无简介。

研究焦点

Computer science11 · 848 次引用
Theoretical computer science4 · 626 次引用
Hybrid system3 · 501 次引用
Key (lock)2 · 499 次引用
Machine learning5 · 486 次引用
Mathematics4 · 442 次引用
Algorithm3 · 430 次引用
Finite-state machine2 · 423 次引用
Automaton1 · 421 次引用
Hybrid automaton1 · 421 次引用
Automata theory1 · 421 次引用
Model checking1 · 421 次引用

主要成就

8
H 指数
11
论文
848
总引用数
77
篇均引用
🏆 最高被引论文
HyTech: A model checker for hybrid systems
421 次引用 · 1997
📈 最高产年份: 2001 (4 论文)
🤝 主要合作者: 17
🏛 所属机构: University of California System, University of California, Berkeley, Institute of Science and Technology Austria

代表论文

  1. 1
    HyTech: A model checker for hybrid systems
    421 次引用 · 1997
  2. 2
    Resource Interfaces
    125 次引用 · 2003
  3. 3
    Embedded Control Systems Development with Giotto
    86 次引用 · 2001
  4. 4
    Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
    78 次引用 · 2001
  5. 5
    Designing Worm-inspired Neural Networks for Interpretable Robotic Control
    43 次引用 · 2019
  6. 6
    Embedded Control Systems Development with Giotto
    33 次引用 · 2001
  7. 7
    Embedded Control Systems Development with Giotto
    33 次引用 · 2001
  8. 8
    Adversarial Training is Not Ready for Robot Learning
    12 次引用 · 2021
  9. 9
    Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning
    8 次引用 · 2023
  10. 10
    Battery transition systems
    7 次引用 · 2014

主要合作者

MLMathias Lechner3 篇合著论文BHBenjamin Horowitz3 篇合著论文CKChristoph Kirsch3 篇合著论文DRDaniela Rus2 篇合著论文RHRamin Hasani2 篇合著论文RGRadu Grosu2 篇合著论文HWHoward Wong-Toi1 篇合著论文UBUdi Boker1 篇合著论文LDLuca de Alfaro1 篇合著论文PHPei-Hsin Ho1 篇合著论文ACArindam Chakrabarti1 篇合著论文AAAlexander Amini1 篇合著论文ARArjun Radhakrishna1 篇合著论文MMMarius Minea1 篇合著论文VSVinayak S. Prabhu1 篇合著论文MZManuel Zimmer1 篇合著论文MSMariëlle Stoelinga1 篇合著论文
尚未生成