Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata Conference

Jha, Sumit Kumar, Jha, Susmit. (2008). Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata . Proceedings of IEEE International Symposium on High Assurance Systems Engineering, 147-+. 10.1109/HASE.2008.38

cited authors

  • Jha, Sumit Kumar; Jha, Susmit

authors

date/time interval

  • December 3, 2008 -

publication date

  • January 1, 2008

published in

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • SYSTEMS
  • Science & Technology
  • Technology

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

start page

  • 147

end page

  • +