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
Erika Abraham
Home
Introducing Asynchronicity to Probabilistic Hyperproperties
Probabilistic Hyperproperties with Rewards
Model Checking Hyperproperties for Markov Decision Processes
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
Parameter Synthesis for Probabilistic Hyperproperties
Probabilistic Hyperproperties with Nondeterminism
HyperProb: A Model Checker for Probabilistic Hyperproperties
Pagination
Subscribe to Erika Abraham
Stay Connected
