Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings /: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings. (2016)

• Record Type: Book
• Other Titles: RP 2016
• Further Information: Note: Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (ed.).
• Editors: Larsen, K. G (Kim G.), 1957-; Potapov, Igor; Srba, Jiří
• Other Names: RP (Workshop), 10th
• Contents: The Ideal Theory for WSTS -- Rare events for Statistical Model Checking -- On the Complexity of Resource-Bounded Logics -- Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets have Marked Graph Reachability Graphs -- Reachability Predicates for Graph Assertions -- Occam's Razor Applied to the Petri Net Coverability Problem -- Safety Property-driven Stubborn Sets -- Characterizing Word Problems of Groups -- Distributed Synthesis of State-Dependent Switching Control -- Compositional Analysis of Boolean Networks Using Local Fixed-point Iterations -- Decidable Models of Integer-manipulating Programs with Recursive Parallelism -- Robot Games with States in Dimension One -- Insertion-deletion Systems over Relational Words.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xiv, 193 pages), illustrations
• Subjects: 004; Computer science; Computer systems -- Verification -- Congresses; Decidability (Mathematical logic) -- Congresses; Computer science -- Mathematics -- Congresses; Computer science -- Mathematics; Computer systems -- Verification; Decidability (Mathematical logic); Computers -- Programming -- General; Mathematics -- Logic; Computers -- Programming -- Algorithms; Computer programming / software development; Mathematical theory of computation; Algorithms & data structures; Logic design; Computer software; Computers -- Machine Theory; User interface design & usability; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319459943; 3319459945
• Related ISBNs: 9783319459936
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 23, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.