Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Search by expertise, name or affiliation
Linear inequality LTL (iLTL): A model checker for discrete time Markov chains
Young Min Kwon,
Gul Agha
Center for South Asian and Middle Eastern Studies
Siebel School of Computing and Data Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Linear inequality LTL (iLTL): A model checker for discrete time Markov chains'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
discrete-time
100%
model checker
100%
Probability Mass Function
100%
Time Markov Chain
100%
Linear Inequality
100%
Load Balancing
33%
Distributed Network
33%
Energy Consumption
33%
Model Checking
33%
Atomic Proposition
33%
Distributed System
33%
Keyphrases
Probability Mass Function
100%
Model Checker
100%
Linear Inequalities
100%
Discrete-time Markov Chain
100%
Load Balancing
33%
Distributed Systems
33%
Distributed Network
33%
Energy Consumption
33%
Expected number
33%
Expected Energy
33%
Interval Estimates
33%
Atomic Proposition
33%
Mathematics
Discrete Time
100%
Probability Mass Function
100%
Linear Inequality
100%
Time Markov Chain
100%
time interval τ
33%
Proposition
33%
Interval Estimate
33%
Distributed System
33%