Reachability problems 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings /
This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020. The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volu...
| Corporate Authors: | International Conference on Reachability Problems online) |
|---|---|
| Other Authors: | International Conference on Reachability Problems, Schmitz, Sylvain,, Potapov, Igor,, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2020.
|
| Physical Description: |
1 online resource (xxi, 165 pages) : illustrations (some color). |
| Series: |
Lecture notes in computer science ;
12448. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
| LEADER | 06333cam a2201213 i 4500 | ||
|---|---|---|---|
| 001 | 1204152227 | ||
| 003 | OCoLC | ||
| 005 | 20240223121953.0 | ||
| 006 | m o d | ||
| 007 | cr nn||||mamaa | ||
| 008 | 201012s2020 sz a o 101 0 eng d | ||
| 019 | |a 1200651245 |a 1204135529 |a 1225891316 |a 1229939444 | ||
| 020 | |a 9783030617394 |q (electronic bk.) | ||
| 020 | |a 3030617394 |q (electronic bk.) | ||
| 020 | |z 3030617386 | ||
| 020 | |z 9783030617387 | ||
| 024 | 7 | |a 10.1007/978-3-030-61739-4 |2 doi | |
| 035 | |a (OCoLC)1204152227 |z (OCoLC)1200651245 |z (OCoLC)1204135529 |z (OCoLC)1225891316 |z (OCoLC)1229939444 | ||
| 037 | |b Springer | ||
| 040 | |a SFB |b eng |e pn |c SFB |d OCLCO |d YDX |d DCT |d SNU |d OCLCF |d GW5XE |d EBLCP |d OCLCO |d OCL |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 049 | |a COM6 | ||
| 050 | 4 | |a QA76.76.V47 | |
| 050 | 4 | |a QA76.63 | |
| 072 | 7 | |a UY |2 bicssc | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 072 | 7 | |a UY |2 thema | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 005.14 |2 23 |
| 082 | 0 | 4 | |a 004.0151 |2 23 |
| 111 | 2 | |a International Conference on Reachability Problems |n (14th : |d 2020 : |c online) | |
| 245 | 1 | 0 | |a Reachability problems : |b 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings / |c Sylvain Schmitz, Igor Potapov (eds.). |
| 246 | 3 | |a RP 2020. | |
| 264 | 1 | |a Cham : |b Springer, |c 2020. | |
| 300 | |a 1 online resource (xxi, 165 pages) : |b illustrations (some color). | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file. | ||
| 347 | |b PDF. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 12448. | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| 520 | |a This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020. The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms. | ||
| 505 | 0 | |a Invited Papers -- On decision problems for substitutions in symbolic dynamics -- Games with Full, Longitudinal, and Transverse Observability -- Regular Papers -- Reachability set generation using hybrid relation compatible saturation -- Case Study: Reachability Analysis of a unified Combat-Command-and-Control Model -- Qualitative Multi-Objective Reachability for Ordered Branching MDPs -- Quantum-over-classical Advantage in Solving Multiplayer Games -- Efficient Restrictions of Immediate Observation Petri Nets -- Binary expression of ancestors in the Collatz graph -- The Collatz process embeds a base conversion algorithm -- The Complexity of the Label-Splitting-Problem for Flip-Flop-Nets. | |
| 500 | |a Includes author index. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed January 6, 2021). | |
| 650 | 0 | |a Computer systems |x Verification |v Congresses. | |
| 650 | 0 | |a Decidability (Mathematical logic) |v Congresses. | |
| 650 | 0 | |a Computer science |x Mathematics |v Congresses. | |
| 650 | 0 | |a Computers. | |
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Computer organization. | |
| 650 | 0 | |a Data structures (Computer science) | |
| 650 | 2 | |a Computers. | |
| 650 | 2 | |a Artificial Intelligence. | |
| 650 | 6 | |a Systèmes informatiques |x Vérification |v Congrès. | |
| 650 | 6 | |a Décidabilité (Logique mathématique) |v Congrès. | |
| 650 | 6 | |a Informatique |x Mathématiques |v Congrès. | |
| 650 | 6 | |a Ordinateurs. | |
| 650 | 6 | |a Informatique |x Mathématiques. | |
| 650 | 6 | |a Intelligence artificielle. | |
| 650 | 6 | |a Ordinateurs |x Conception et construction. | |
| 650 | 6 | |a Structures de données (Informatique) | |
| 650 | 7 | |a computers. |2 aat. | |
| 650 | 7 | |a artificial intelligence. |2 aat. | |
| 650 | 7 | |a Decidability (Mathematical logic) |2 fast. | |
| 650 | 7 | |a Computer systems |x Verification. |2 fast. | |
| 650 | 7 | |a Artificial intelligence. |2 fast. | |
| 650 | 7 | |a Computer organization. |2 fast. | |
| 650 | 7 | |a Computer science |x Mathematics. |2 fast. | |
| 650 | 7 | |a Computers. |2 fast. | |
| 650 | 7 | |a Data structures (Computer science) |2 fast. | |
| 655 | 2 | |a Congress. | |
| 655 | 7 | |a proceedings (reports) |2 aat. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf. | |
| 700 | 1 | |a Schmitz, Sylvain, |e editor. | |
| 700 | 1 | |a Potapov, Igor, |e editor. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 776 | 0 | 8 | |z 3030617386. |
| 830 | 0 | |a Lecture notes in computer science ; |v 12448. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. | |
| 907 | |a .b62021771 |b multi |c - |d 201130 |e 240321 | ||
| 998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g sz |h 0 |i 2 | ||
| 948 | |a MARCIVE Overnight, in 2024.03 | ||
| 948 | |a MARCIVE Overnight, in 2023.02 | ||
| 948 | |a MARCIVE Over, 07/2021 | ||
| 948 | |a MARCIVE Comp, 12/2020 | ||
| 994 | |a 92 |b COM | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
| 995 | |a Loaded with m2btab.elec in 2024.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2023.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
| 995 | |a Loaded with m2btab.elec in 2021.06 | ||
| 995 | |a Loaded with m2btab.ltiac 2020.12 | ||
| 995 | |a Loaded with m2btab.elec 2020.12 | ||
| 995 | |a Loaded with m2btab.auth 2020.12 | ||
| 995 | |a Loaded with m2btab.auth 2020.12 | ||
| 995 | |a Loaded with m2btab.auth 2020.12 | ||
| 995 | |a Loaded with m2btab.auth 2020.12 | ||
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150707149 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-030-61739-4 |3 SpringerLink |z Click here for access | ||