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
Revisiting MITL to fix decision procedures
Nima Roohi
,
Mahesh Viswanathan
Siebel School of Computing and Data Science
Information Trust Institute
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Revisiting MITL to fix decision procedures'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Temporal Logic
100%
Decision Procedure
100%
Timed Automaton
42%
Model Checking
28%
Theoretic Approach
14%
Automaton
14%
Model Checking Problem
14%
Keyphrases
Decision Procedure
100%
Metric Temporal Logic
100%
Timed Automata
50%
Automata
16%
Logic Formulas
16%
Real-time Temporal Logic
16%