Electrical Engineering and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

What's Decidable About Hybrid Automata

Thomas A. Henzinger, P.W. Kopke, A. Puri and Pravin Varaiya

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M98/22
1998

BibTeX citation:

@techreport{Henzinger:M98/22,
    Author = {Henzinger, Thomas A. and Kopke, P.W. and Puri, A. and Varaiya, Pravin},
    Title = {What's Decidable About Hybrid Automata},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1998},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1998/3418.html},
    Number = {UCB/ERL M98/22}
}

EndNote citation:

%0 Report
%A Henzinger, Thomas A.
%A Kopke, P.W.
%A Puri, A.
%A Varaiya, Pravin
%T What's Decidable About Hybrid Automata
%I EECS Department, University of California, Berkeley
%D 1998
%@ UCB/ERL M98/22
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1998/3418.html
%F Henzinger:M98/22