Larsen, Kim G. Synthesis of safe, optimal and compact strategies for stochastic hybrid games (invited paper). (English) Zbl 07649910 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 2, 5 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{K. G. Larsen}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 2, 5 p. (2019; Zbl 07649910) Full Text: DOI
Larsen, Kim Guldstrand Symbolic and compositional reachability for timed automata. (English) Zbl 1285.68096 Kučera, Antonín (ed.) et al., Reachability problems. 4th international workshop, RP 2010, Brno, Czech Republic, August 28–29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15348-8/pbk). Lecture Notes in Computer Science 6227, 24-28 (2010). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{K. G. Larsen}, Lect. Notes Comput. Sci. 6227, 24--28 (2010; Zbl 1285.68096) Full Text: DOI
Larsen, Kim G. Compositional and quantitative model checking (extended abstract). (English) Zbl 1274.68196 Pnueli, Amir (ed.) et al., Perspectives of systems informatics. 7th international Andrei Ershov memorial conference, PSI 2009, Novosibirsk, Russia, June 15–19, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-11485-4/pbk). Lecture Notes in Computer Science 5947, 35-42 (2010). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{K. G. Larsen}, Lect. Notes Comput. Sci. 5947, 35--42 (2010; Zbl 1274.68196) Full Text: DOI
Larsen, Kim G. Priced timed automata: theory and tools. (English) Zbl 1248.68335 Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 417-425, electronic only (2009). MSC: 68Q60 68Q45 68M20 91A80 PDFBibTeX XMLCite \textit{K. G. Larsen}, LIPIcs -- Leibniz Int. Proc. Inform. 4, 417--425 (2009; Zbl 1248.68335) Full Text: DOI Link
Larsen, Kim Guldstrand Verification of timed and hybrid systems. (English) Zbl 0986.68777 Nielsen, Mogens (ed.) et al., Application and theory of Petri nets 2000. 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1825, 39-42 (2000). MSC: 68U99 68U20 68M12 93C83 PDFBibTeX XMLCite \textit{K. G. Larsen}, Lect. Notes Comput. Sci. 1825, 39--42 (2000; Zbl 0986.68777)
Larsen, Kim Guldstrand The expressive power of implicit specifications. (English) Zbl 0779.68059 Theor. Comput. Sci. 114, No. 1, 119-147 (1993). Reviewer: K.G.Larsen MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{K. G. Larsen}, Theor. Comput. Sci. 114, No. 1, 119--147 (1993; Zbl 0779.68059) Full Text: DOI
Larsen, Kim Guldstrand The expressive power of implicit specifications. (English) Zbl 0785.68062 Automata, languages and programming, Proc. 18th Int. Colloq., Madrid/Spain 1991, Lect. Notes Comput. Sci. 510, 204-216 (1991). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{K. G. Larsen}, Lect. Notes Comput. Sci. 510, 204--216 (1991; Zbl 0785.68062)
Larsen, Kim G. Proof systems for satisfiability in Hennessy-Milner logic with recursion. (English) Zbl 0698.68014 Theor. Comput. Sci. 72, No. 2-3, 265-288 (1990). MSC: 68Q60 03B70 68N25 PDFBibTeX XMLCite \textit{K. G. Larsen}, Theor. Comput. Sci. 72, No. 2--3, 265--288 (1990; Zbl 0698.68014) Full Text: DOI
Larsen, Kim G. Proof systems for Hennessy-Milner logic with recursion. (English) Zbl 0647.68012 Trees in algebra and programming, Proc. 13th Colloq. CAAP, Nancy/France 1988, Lect. Notes Comput. Sci. 299, 215-230 (1988). MSC: 68Q60 68N25 03B70 PDFBibTeX XML
Larsen, Kim G. A context dependent equivalence between processes. (English) Zbl 0612.68027 Theor. Comput. Sci. 49, 185-215 (1987). MSC: 68N25 PDFBibTeX XMLCite \textit{K. G. Larsen}, Theor. Comput. Sci. 49, 185--215 (1987; Zbl 0612.68027) Full Text: DOI
Guldstrand Larsen, Kim A context dependent equivalence between processes. (English) Zbl 0566.68023 Automata, languages and programming, 12th Colloq., Nafplion/Greece 1985, Lect. Notes Comput. Sci. 194, 373-382 (1985). MSC: 68N25 PDFBibTeX XML