Skip to main content

College of Engineering

Trustworthy and Reliable Technologies Lab (TART)

Contact
EGR
MSU
Maps
Jobs

Home
Members
Projects
Publications
Research
Teaching
Tools

Pavithra Prabhakar

Home

Model Checking Timed Hyperproperties in Discrete-time Systems

Pagination

Subscribe to Pavithra Prabhakar

On This Site

Home
About
Members
Porjects
Research
Tools

Departments

APPLIED ENGINEERING SCIENCES
BIOMEDICAL ENGINEERING
BIOSYSTEMS & AGRICULTURAL ENGINEERING
CHEMICAL ENGINEERING & MATERIALS SCIENCE
CIVIL & ENVIRONMENTAL ENGINEERING
COMPUTATIONAL MATHEMATICS, SCIENCE AND ENGINEERING
COMPUTER SCIENCE & ENGINEERING
ELECTRICAL & COMPUTER ENGINEERING
MECHANICAL ENGINEERING

MSU Resources

MSU Home
MSU Today
Campus Maps

Contact Us

Engineering Building
428 S. Shaw Lane
East Lansing, MI 48824-1226
Phone: (517) 355-5113
Fax: (517) 355-2288

Stay Connected

Call us:
Contact Information
Privacy Policy
Site Accessibility

Call MSU: (517) 355-1855
Visit: msu.edu
MSU is an affirmative-action, equal-opportunity employer.
Notice of Nondiscrimination

Spartans Will.
© Michigan State University