Molnár, Vince; Darvas, Dániel; Vörös, András; Bartha, Tamás Saturation-based incremental LTL model checking with inductive proofs. (English) Zbl 1420.68135 Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 643-657 (2015). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{V. Molnár} et al., Lect. Notes Comput. Sci. 9035, 643--657 (2015; Zbl 1420.68135) Full Text: DOI Link
Tatjewski, Piotr Disturbance modeling and state estimation for offset-free predictive control with state-space process models. (English) Zbl 1293.93307 Int. J. Appl. Math. Comput. Sci. 24, No. 2, 313-323 (2014). MSC: 93B40 93C73 03C05 PDFBibTeX XMLCite \textit{P. Tatjewski}, Int. J. Appl. Math. Comput. Sci. 24, No. 2, 313--323 (2014; Zbl 1293.93307) Full Text: DOI
Collins, Pieter; Zapreev, Ivan S. Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems. (English) Zbl 1238.68084 Int. J. Found. Comput. Sci. 22, No. 4, 801-821 (2011). Reviewer: Martin Lange (Kassel) MSC: 68Q60 03B44 03B70 PDFBibTeX XMLCite \textit{P. Collins} and \textit{I. S. Zapreev}, Int. J. Found. Comput. Sci. 22, No. 4, 801--821 (2011; Zbl 1238.68084) Full Text: DOI
Fronk, Alexander; Kehden, Britta State space analysis of Petri nets with relation-algebraic methods. (English) Zbl 1156.68040 J. Symb. Comput. 44, No. 1, 15-47 (2009). MSC: 68Q85 68Q60 03G15 PDFBibTeX XMLCite \textit{A. Fronk} and \textit{B. Kehden}, J. Symb. Comput. 44, No. 1, 15--47 (2009; Zbl 1156.68040) Full Text: DOI
Gudder, Stanley Convex structures and effect algebras. (English) Zbl 0963.03085 Int. J. Theor. Phys. 38, No. 12, 3179-3187 (1999). MSC: 03G12 52A01 46N50 06F20 28E10 PDFBibTeX XMLCite \textit{S. Gudder}, Int. J. Theor. Phys. 38, No. 12, 3179--3187 (1999; Zbl 0963.03085) Full Text: DOI
Dekel, Eddie; Lipman, Barton L.; Rustichini, Aldo Standard state-space models preclude unawareness. (English) Zbl 1035.91019 Econometrica 66, No. 1, 159-173 (1998). Reviewer: Bogdan Choczewski (Kraków) MSC: 91B02 03B80 03E75 PDFBibTeX XMLCite \textit{E. Dekel} et al., Econometrica 66, No. 1, 159--173 (1998; Zbl 1035.91019) Full Text: DOI Link
Godefroid, Patrice On the costs and benefits of using partial-order methods for the verification of concurrent systems. (Invited paper). (English) Zbl 0883.68057 Peled, Doron A. (ed.) et al., Partial order methods in verification. DIMACS workshop, July 24-26, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 289-303 (1997). MSC: 68Q05 68Q60 03B70 PDFBibTeX XMLCite \textit{P. Godefroid}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 289--303 (1997; Zbl 0883.68057)
Valmari, Antti A stubborn attack on state explosion. (English) Zbl 0786.68069 Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 25-41 (1991). MSC: 68Q60 68Q10 03B45 PDFBibTeX XMLCite \textit{A. Valmari}, in: Computer-aided verification '90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Providence, RI: American Mathematical Society; New York, NY: Association for Computing Machinery. 25--41 (1991; Zbl 0786.68069)
Haynes, Christopher T. Logic continuations. (English) Zbl 0602.68011 Logic programming, Proc. 3rd Int. Conf., London 1986, Lect. Notes Comput. Sci. 225, 671-685 (1986). Reviewer: M.Šmídek MSC: 68N01 03B40 68Q99 PDFBibTeX XML