FernándezVilas, Ana; Pazos Arias, José J.; Barragáns Martínez, A. Belén; López Nores, Martín; Díaz Redondo, Rebeca P.; Gil Solla, Alberto; García Duque, Jorge; Ramos Cabrer, Manuel Multi-valued model checking in dense-time. (English) Zbl 1122.68472 Godo, Lluís (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27326-3/pbk). Lecture Notes in Computer Science 3571. Lecture Notes in Artificial Intelligence, 638-649 (2005). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. FernándezVilas} et al., Lect. Notes Comput. Sci. 3571, 638--649 (2005; Zbl 1122.68472) Full Text: DOI
Braberman, V.; Olivero, A.; Schapachnik, F. Zeus: a distributed timed model-checker based on Kronos. (English) Zbl 1270.68165 Brim, Lubos (ed.) et al., PDMC 2002. Proceedings of the first international workshop on parallel and distributed model checking (satellite workshop of CONCUR 2002), Brno, Czech Republic, August 19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 4, 503-522 (2002). MSC: 68Q60 68W15 68Q45 PDF BibTeX XML Cite \textit{V. Braberman} et al., Electron. Notes Theor. Comput. Sci. 68, No. 4, 503--522 (2002; Zbl 1270.68165) Full Text: Link
Dasgupta, P.; Chakrabarti, P. P.; Deka, J. K.; Sankaranarayanan, S. Min-max Computation Tree Logic. (English) Zbl 0976.68104 Artif. Intell. 127, No. 1, 137-162 (2001). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{P. Dasgupta} et al., Artif. Intell. 127, No. 1, 137--162 (2001; Zbl 0976.68104) Full Text: DOI