Min-max Computation Tree Logic
- 31 March 2001
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 127 (1) , 137-162
- https://doi.org/10.1016/s0004-3702(01)00059-5
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Membership questions for timed and hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using MTBDDs for discrete timed symbolic model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Computer-aided verificationIEEE Spectrum, 1996
- Symbolic model checking for sequential circuit verificationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
- A really temporal logicJournal of the ACM, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Real-Time Logics: Complexity and ExpressivenessInformation and Computation, 1993
- Quantitative temporal reasoningReal-Time Systems, 1992
- Introduction to AlgorithmsJournal of the Operational Research Society, 1991
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986