Search results for "QCTL"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	Donghuo Chen, Guangquan Zhang 0002, Jinzhao Wu	QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.	TASE	2007	DBLP DOI BibTeX RDF
99	Arend Rensink	Model Checking Quantified Computation Tree Logic.	CONCUR	2006	DBLP DOI BibTeX RDF
80	John Christopher McCabe-Dansted	A Tableau for RoBCTL*.	JELIA	2008	DBLP DOI BibTeX RDF	QCTL*, Robustness, Diagnosis, Logic, Bundled, Tableau
74	Thomas Kropf, Jürgen Ruf	Using MTBDDs for discrete timed symbolic model checking.	ED&TC	1997	DBLP DOI BibTeX RDF
49	Donghuo Chen, Jinzhao Wu	Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.	SOFSEM	2006	DBLP DOI BibTeX RDF
36	Ming Xu 0010, Jianling Fu, Jingyi Mei, Yuxin Deng	Model checking QCTL plus on quantum Markov chains.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
36	Akash Hossain, François Laroussinie	QCTL model-checking with QBF solvers.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
36	Akash Hossain, François Laroussinie	QCTL model-checking with QBF solvers.	CoRR	2020	DBLP BibTeX RDF
36	Amélie David 0001, François Laroussinie, Nicolas Markey	On the Expressiveness of QCTL.	CONCUR	2016	DBLP DOI BibTeX RDF
36	Sebastian Bauer	Axiomatizing the Monodic Fragment of QCTL.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
31	Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001	A Temporal Logic of Robustness.	FroCoS	2007	DBLP DOI BibTeX RDF	RoCTL, QCTL, Robustness, Modal Logic, Decidability, Branching Time Logic
31	Sun Meng	QCCS: A Formal Model to Enforce QoS Requirements in Service Composition.	TASE	2007	DBLP DOI BibTeX RDF	Q-algebra, QCCS, Quantified Bisimulation, QCTL, Quality of Service
25	Tim French 0002	Decidability of Propositionally Quantified Logics of Knowledge.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF

Displaying result #1 - #13 of 13 (100 per page; Change: )