000943655 000__ 04108cam\a2200577Ia\4500
000943655 001__ 943655
000943655 005__ 20230306152330.0
000943655 006__ m\\\\\o\\d\\\\\\\\
000943655 007__ cr\un\nnnunnun
000943655 008__ 200831s2020\\\\sz\\\\\\o\\\\\101\0\eng\d
000943655 019__ $$a1193127942$$a1197837329$$a1198395511
000943655 020__ $$a9783030576288$$q(electronic book)
000943655 020__ $$a3030576280$$q(electronic book)
000943655 020__ $$z3030576272
000943655 020__ $$z9783030576271
000943655 0247_ $$a10.1007/978-3-030-57
000943655 035__ $$aSP(OCoLC)on1191115544
000943655 035__ $$aSP(OCoLC)1191115544$$z(OCoLC)1193127942$$z(OCoLC)1197837329$$z(OCoLC)1198395511
000943655 040__ $$aYDX$$beng$$cYDX$$dGW5XE$$dLQU$$dUPM$$dEBLCP$$dTEF
000943655 049__ $$aISEA
000943655 050_4 $$aQA76.9.F67
000943655 08204 $$a004.01/51$$223
000943655 1112_ $$aFORMATS (Conference)$$n(18th :$$d2020 :$$cOnline)
000943655 24510 $$aFormal modeling and analysis of timed systems :$$b18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings /$$cNathalie Bertrand, Nils Jansen (eds.).
000943655 2463_ $$aFORMATS 2020
000943655 260__ $$aCham :$$bSpringer,$$c2020.
000943655 300__ $$a1 online resource
000943655 336__ $$atext$$btxt$$2rdacontent
000943655 337__ $$acomputer$$bc$$2rdamedia
000943655 338__ $$aonline resource$$bcr$$2rdacarrier
000943655 4901_ $$aLecture notes in computer science ;$$v12288
000943655 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
000943655 500__ $$aInternational conference proceedings.
000943655 500__ $$a"Early on, after many countriesstarted shutting down most of public life as a reaction to the novel coronavirus, we decided that QONFEST 2020, and with it FORMATS, CONCUR, FMICS, and QEST,would not take place in Vienna but as a virtual event."-- Preface.
000943655 500__ $$aIncludes author index.
000943655 5050_ $$aOn the Semantics of Polychronous Polytimed Specifications -- Backward Symbolic Optimal Reachability in Weighted Timed Automata -- Certifying Emptiness of Timed Büchi Automata -- Learning Specifications for Labelled Patterns -- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games -- Computing Maximally-Permissive Strategies in Acyclic Timed Games -- Dynamic Causes for the Violation of Timed Reachability Properties -- Active Learning of Timed Automata with Unknown Resets -- Computation of Transient in Max-Plus Linear Systems via SMT-Solving -- Clairvoyant Monitoring for Signal Temporal Logic Patterns -- Embedding Online RV for Fault Disambiguation on Robonaut2 -- Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata -- Probabilistic Guarantees for Safe Deep Reinforcement Learning -- Incremental Methods for Checking Real-Time Consistency -- Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling -- Weakness Monitors for Fail-Aware Systems.
000943655 506__ $$aAccess limited to authorized users.
000943655 520__ $$aThis book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event.
000943655 650_0 $$aFormal methods (Computer science)$$vCongresses.
000943655 650_0 $$aComputer simulation$$vCongresses.
000943655 650_0 $$aTemporal automata$$vCongresses.
000943655 650_0 $$aSystem analysis$$vCongresses.
000943655 7001_ $$aBertrand, Nathalie$$c(Researcher)
000943655 7001_ $$aJansen, Nils.
000943655 77608 $$iPrint version: $$z3030576272$$z9783030576271$$w(OCoLC)1178894468
000943655 830_0 $$aLecture notes in computer science ;$$v12288.
000943655 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000943655 852__ $$bebk
000943655 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=https://dx.doi.org/10.1007/978-3-030-57628-8$$zOnline Access
000943655 909CO $$ooai:library.usi.edu:943655$$pGLOBAL_SET
000943655 980__ $$aEBOOK
000943655 980__ $$aBIB
000943655 982__ $$aEbook
000943655 983__ $$aOnline
000943655 994__ $$a92$$bISE