001438965 000__ 04290cam\a2200661\i\4500
001438965 001__ 1438965
001438965 003__ OCoLC
001438965 005__ 20230309004403.0
001438965 006__ m\\\\\o\\d\\\\\\\\
001438965 007__ cr\cn\nnnunnun
001438965 008__ 210818s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001438965 020__ $$a9783030850371$$q(electronic bk.)
001438965 020__ $$a3030850374$$q(electronic bk.)
001438965 020__ $$z9783030850364$$q(print)
001438965 0247_ $$a10.1007/978-3-030-85037-1$$2doi
001438965 035__ $$aSP(OCoLC)1264219827
001438965 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCQ$$dOCLCO$$dOCLCQ
001438965 049__ $$aISEA
001438965 050_4 $$aQA76.9.F67
001438965 08204 $$a004.01/51$$223
001438965 1112_ $$aFORMATS (Conference)$$n(19th :$$d2021 :$$cOnline)
001438965 24510 $$aFormal modeling and analysis of timed systems :$$b19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings /$$cCatalin Dima, Mahsa Shirmohammadi (eds.).
001438965 2463_ $$aFORMATS 2021
001438965 264_1 $$aCham, Switzerland :$$bSpringer,$$c2021.
001438965 300__ $$a1 online resource (xi, 155 pages) :$$billustrations (some color)
001438965 336__ $$atext$$btxt$$2rdacontent
001438965 337__ $$acomputer$$bc$$2rdamedia
001438965 338__ $$aonline resource$$bcr$$2rdacarrier
001438965 4901_ $$aLecture notes in computer science ;$$v12860
001438965 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001438965 500__ $$a"This volume contains the papers presented at the 19th International Conference on Formal Modeling and Analysis of Time Systems (FORMATS 2021), held virtually, and hosted by the Laboratoire d'Algorithmique, Complexitéet Logique (LACL), Université Paris-Est Créteil, France, during August 24-26, 2021."-- Preface.
001438965 500__ $$aIncludes author index.
001438965 5050_ $$aFormal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract) -- Temporal Reasoning for Intelligent Financial Services: Examples and Challenges -- On the complexity of timed pattern matching -- Stubborn Set Reduction for Timed Reachability and Safety Games -- Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems -- Closing the Gap between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability -- An Integer Static Analysis for Better Extrapolation in Uppaal -- Explaining Safety Violations in Real-Time Systems -- DiffRNN: Differential verification of Recurrent Neural Networks -- Formal Abstraction and Synthesis of Parametric Stochastic Processes.
001438965 506__ $$aAccess limited to authorized users.
001438965 520__ $$aThis book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.
001438965 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 18, 2021).
001438965 650_0 $$aFormal methods (Computer science)$$vCongresses.
001438965 650_0 $$aComputer simulation$$vCongresses.
001438965 650_0 $$aTemporal automata$$vCongresses.
001438965 650_0 $$aSystem analysis$$vCongresses.
001438965 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001438965 650_6 $$aSimulation par ordinateur$$vCongrès.
001438965 650_6 $$aAutomates temporels$$vCongrès.
001438965 650_6 $$aAnalyse de systèmes$$vCongrès.
001438965 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001438965 655_7 $$aConference papers and proceedings.$$2lcgft
001438965 655_7 $$aActes de congrès.$$2rvmgf
001438965 655_0 $$aElectronic books.
001438965 7001_ $$aDima, Catalin,$$eeditor.
001438965 7001_ $$aShirmohammadi, Mahsa,$$eeditor.
001438965 830_0 $$aLecture notes in computer science ;$$v12860.
001438965 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001438965 852__ $$bebk
001438965 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-85037-1$$zOnline Access$$91397441.1
001438965 909CO $$ooai:library.usi.edu:1438965$$pGLOBAL_SET
001438965 980__ $$aBIB
001438965 980__ $$aEBOOK
001438965 982__ $$aEbook
001438965 983__ $$aOnline
001438965 994__ $$a92$$bISE