×

Found 37 Documents (Results 1–37)

Runtime monitors for Markov decision processes. (English) Zbl 1493.68214

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 553-576 (2021).
MSC:  68Q60 68Q87 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reachability analysis of nonlinear systems using hybridization and dynamics scaling. (English) Zbl 07317102

Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 265-282 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Approximating continuous systems by timed automata. (English) Zbl 1374.68262

Fisher, Jasmin (ed.), Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4–5, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68410-7/pbk). Lecture Notes in Computer Science 5054. Lecture Notes in Bioinformatics, 77-89 (2008).
MSC:  68Q45 37B10
PDFBibTeX XMLCite
Full Text: DOI

A hybrid denotational semantics for hybrid systems. (English) Zbl 1133.68369

Drossopoulou, Sophia (ed.), Programming languages and systems. 17th European symposium on programming, ESOP 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78738-9/pbk). Lecture Notes in Computer Science 4960, 63-77 (2008).
MSC:  68Q55 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Relating hybrid chi to other formalisms. (English) Zbl 1277.68149

Romijn, Judi (ed.) et al., Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, November 29, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 191, 85-113 (2007).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming. (English) Zbl 1277.68139

Strichman, Ofer (ed.) et al., Proceedings of the fourth international workshop on bounded model checking (BMC 2006), Seattle, WA, USA, August 15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 3, 57-70 (2007).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software