Probabilistic Temporal Logic Falsification of Cyber-Physical Systems Journal Article uri icon

Overview

publication date

  • May 1, 2013

has restriction

  • green

Date in CU Experts

  • September 6, 2013 12:26 PM

Full Author List

  • Abbas H; Fainekos G; Sankaranarayanan S; Ivancic F; Gupta A

author count

  • 5

citation count

  • 97

Other Profiles

International Standard Serial Number (ISSN)

  • 1539-9087

Electronic International Standard Serial Number (EISSN)

  • 1558-3465

Additional Document Info

volume

  • 12

number

  • ARTN 95