Igor Potapov – författare & böcker

Del 11123 - Lecture Notes in Computer Science

Reachability Problems

12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Häftad, Engelska, 2018

545 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.The 11 full papers presented were carefully reviewed and selected from 21 submissions. 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.

Reachability Problems

12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

AvPierre-Alain Reynier,Igor Potapov

E-bok

Engelska, 2018

712 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.The 11 full papers presented were carefully reviewed and selected from 21 submissions. 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.

Del 11674 - Lecture Notes in Computer Science

Reachability Problems

13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

AvEmmanuel Filiot,Raphaël Jungersm. fl.

Häftad, Engelska, 2019

561 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.The 14 full papers presented were carefully reviewed and selected from 26 submissions. 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.

Reachability Problems

13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

AvIgor Potapov,Raphael Jungersm. fl.

E-bok

Engelska, 2019

734 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.

The 14 full papers presented were carefully reviewed and selected from 26 submissions. 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.

Del 12448 - Lecture Notes in Computer Science

Reachability Problems

14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings

AvSylvain Schmitz,Igor Potapov

Häftad, Engelska, 2020

561 kr

Skickas inom 10-15 vardagar

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.

Reachability Problems

14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings

AvIgor Potapov,Sylvain Schmitz

E-bok

Engelska, 2020

734 kr

Läs direkt efter köp

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.

Del 13035 - Lecture Notes in Computer Science

Reachability Problems

15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings

AvPaul C. Bell,Patrick Totzkem. fl.

Häftad, Engelska, 2021

894 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021.The 6 full papers presented were carefully reviewed and selected from 27 submissions. In addition, 4 invited papers were included in this volume. The RP proceedings 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.Chapter ‘Recent Advances on Reachability Problems for Valence Systems’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Reachability Problems

15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings

AvIgor Potapov,Patrick Totzkem. fl.

E-bok

Engelska, 2021

1 141 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021.

The 6 full papers presented were carefully reviewed and selected from 27 submissions. In addition, 4 invited papers were included in this volume. The RP proceedings 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.

Chapter ‘Recent Advances on Reachability Problems for Valence Systems’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Del 13608 - Lecture Notes in Computer Science

Reachability Problems

16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings

AvAnthony W. Lin,Georg Zetzschem. fl.

Häftad, Engelska, 2022

617 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings 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.

Reachability Problems

16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings

AvIgor Potapov,Georg Zetzschem. fl.

E-bok

Engelska, 2022

815 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.

The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings 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.

Del 14235 - Lecture Notes in Computer Science

Reachability Problems

17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

AvOlivier Bournez,Enrico Formentim. fl.

Häftad, Engelska, 2023

728 kr

Skickas inom 5-8 vardagar

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

Reachability Problems

17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

AvIgor Potapov,Enrico Formentim. fl.

E-bok

Engelska, 2023

896 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

Vadim Ermolayev, Igor Potapov, Oleksii Ignatenko, Roman Hornung, Andrii Hlybovets, Vitaliy Yakovyna, Yaroslav Prytula, Oleksandr Spivakovsky - Information and Communication Technologies in Education, Research, and Industrial Applications, Häftad

Del 2359 - Communications in Computer and Information Science

Information and Communication Technologies in Education, Research, and Industrial Applications

19th International Conference, ICTERI 2024, Lviv, Ukraine, September 23–27, 2024, Proceedings

AvVadim Ermolayev,Igor Potapovm. fl.

Häftad, Engelska, 2025

948 kr

Skickas inom 10-15 vardagar

This book constitutes the proceedings of the 19th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2024, held in Lviv, Ukraine, during September 23–27, 2024.The 29 full papers, 2 short papers and 3 keynote papers included in this volume were carefully reviewed and selected from 83 submissions. They were organized in topical sections as follows: main conference; PhD symposium; and research in progress.

Oleksandr Spivakovsky, Yaroslav Prytula, Vitaliy Yakovyna, Andrii Hlybovets, Roman Hornung, Oleksii Ignatenko, Igor Potapov, Vadim Ermolayev - Information and Communication Technologies in Education, Research, and Industrial Applications, E-bok

Information and Communication Technologies in Education, Research, and Industrial Applications

19th International Conference, ICTERI 2024, Lviv, Ukraine, September 23–27, 2024, Proceedings

AvOleksandr Spivakovsky,Yaroslav Prytulam. fl.

E-bok

Engelska, 2025

1 223 kr

Läs direkt efter köp

This book constitutes the proceedings of the 19th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2024, held in Lviv, Ukraine, during September 23–27, 2024.

The 29 full papers, 2 short papers and 3 keynote papers included in this volume were carefully reviewed and selected from 83 submissions. They were organized in topical sections as follows: main conference; PhD symposium; and research in progress.

Igor Potapov, Dmytro Chumachenko, Volodymyr Proshkin, Vira Shendryk, Oleksandr Berezko, James McCafferty, Olexandr Konovalov - Digitalisation and Digital Transformation, Häftad

Del 2647 - Communications in Computer and Information Science

Digitalisation and Digital Transformation

First Research Twinning Conference, RTC-Digital 2023, Liverpool, UK, March 27–30, 2023, Proceedings

AvIgor Potapov,Dmytro Chumachenkom. fl.

Häftad, Engelska, 2025

1 005 kr

Skickas inom 5-8 vardagar

This book CCIS 2647 constitutes the refereed proceedings of First Research Twinning Conference on Digitalisation and Digital Transformation, RTC-Digital 2023, held in Liverpool, UK, during March 27–30, 2023.The 29 full papers were carefully reviewed and selected from 101 submissions.The objective is to help Ukrainian academics at Universities and Research institutes to integrate into the international research network and to find new research contacts. In the long term, the high-quality research across the Digital Theme should drive the development of the Digital Infrastructure, Digital Economy and IT sector in Ukraine and support the recent OECD Policy Response "Digitalisation for recovery in Ukraine".

Olexandr Konovalov, James McCafferty, Oleksandr Berezko, Vira Shendryk, Volodymyr Proshkin, Dmytro Chumachenko, Igor Potapov - Digitalisation and Digital Transformation, E-bok

Digitalisation and Digital Transformation

First Research Twinning Conference, RTC-Digital 2023, Liverpool, UK, March 27-30, 2023, Proceedings

AvOlexandr Konovalov,James McCaffertym. fl.

E-bok

Engelska, 2025

1 296 kr

Läs direkt efter köp

This book CCIS 2647 constitutes the refereed proceedings of First Research Twinning Conference on Digitalisation and Digital Transformation, RTC-Digital 2023, held in Liverpool, UK, during March 27–30, 2023.The 29 full papers were carefully reviewed and selected from 101 submissions.The objective is to help Ukrainian academics at Universities and Research institutes to integrate into the international research network and to find new research contacts. In the long term, the high-quality research across the Digital Theme should drive the development of the Digital Infrastructure, Digital Economy and IT sector in Ukraine and support the recent OECD Policy Response "e;Digitalisation for recovery in Ukraine"e;.

Del 8762 - Lecture Notes in Computer Science

Reachability Problems

8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

AvJoel Ouaknine,Igor Potapovm. fl.

Häftad, Engelska, 2014

539 kr

Skickas inom 10-15 vardagar

This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

Reachability Problems

8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

AvJames Worrell,Igor Potapovm. fl.

E-bok

PDF, Engelska, 2014

652 kr

Läs direkt efter köp

This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

Del 9168 - Lecture Notes in Computer Science

Developments in Language Theory

19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

AvIgor Potapov

Häftad, Engelska, 2015

545 kr

Skickas inom 10-15 vardagar

This book constitutes the proceedings of the 19th International Conference on Developments in Language Theory, DLT 2015, held in Liverpool, UK. The 31 papers presented together with 5 invited talks were carefully reviewed and selected from 54 submissions. Its scope is very general and includes, among others, the following topics and areas: combinatorial and algebraic properties of words and languages, grammars, acceptors and transducers for strings, trees, graphs, arrays, algebraic theories for automata and languages, codes, efficient text algorithms, symbolic dynamics, decision problems, relationships to complexity theory and logic, picture description and analysis, polyominoes and bidimensional patterns, cryptography, concurrency, cellular automata, bio-inspired computing, and quantum computing.

Developments in Language Theory

19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

AvIgor Potapov

E-bok

PDF, Engelska, 2015

712 kr

Läs direkt efter köp

This book constitutes the proceedings of the 19th International Conference on Developments in Language Theory, DLT 2015, held in Liverpool, UK. The 31 papers presented together with 5 invited talks were carefully reviewed and selected from 54 submissions. Its scope is very general and includes, among others, the following topics and areas: combinatorial and algebraic properties of words and languages, grammars, acceptors and transducers for strings, trees, graphs, arrays, algebraic theories for automata and languages, codes, efficient text algorithms, symbolic dynamics, decision problems, relationships to complexity theory and logic, picture description and analysis, polyominoes and bidimensional patterns, cryptography, concurrency, cellular automata, bio-inspired computing, and quantum computing.

Del 9328 - Lecture Notes in Computer Science

Reachability Problems

9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

AvMikolai Bojanczyk,Slawomir Lasotam. fl.

Häftad, Engelska, 2015

451 kr

Skickas inom 10-15 vardagar

Thisbook constitutes the refereed proceedings of the 9th InternationalWorkshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics inthe field of 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.

Reachability Problems

9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

AvIgor Potapov,Slawomir Lasotam. fl.

E-bok

PDF, Engelska, 2015

571 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics inthe field of 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.

Del 9899 - Lecture Notes in Computer Science

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

AvKim Guldstrand Larsen,Igor Potapovm. fl.

Häftad, Engelska, 2016

561 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together with2 invited papers and 3 abstracts of invited talks were carefully reviewed and selected from 18 submissions. The papers cover a range of topics in the field of 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.

Reachability Problems

10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

AvJiri Srba,Igor Potapovm. fl.

E-bok

PDF, Engelska, 2016

734 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together with2 invited papers and 3 abstracts of invited talks were carefully reviewed and selected from 18 submissions. The papers cover a range of topics in the field of 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.

Del 10506 - Lecture Notes in Computer Science

Reachability Problems

11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

AvMatthew Hague,Igor Potapov

Häftad, Engelska, 2017

561 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions.The aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and to promote the exploration of new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques. Topics of interest include (but are not limited to): reachability for innite 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.

Reachability Problems

11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

AvIgor Potapov,Matthew Hague

E-bok

Engelska, 2017

734 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions.The aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and to promote the exploration of new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques. Topics of interest include (but are not limited to): reachability for innite 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.

Reachability Problems

Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

AvOlivier Bournez,Igor Potapov

Häftad, Engelska, 2009

561 kr

Skickas inom 10-15 vardagar

This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures and predictability in iterative maps and new computational paradigms.

Reachability Problems

Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

AvIgor Potapov,Olivier Bournez

E-bok

PDF, Engelska, 2009

734 kr

Läs direkt efter köp

This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures and predictability in iterative maps and new computational paradigms.

Reachability Problems

4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

AvAntonin Kucera,Igor Potapov

Häftad, Engelska, 2010

561 kr

Skickas inom 10-15 vardagar

This volume contains the papers presented at the 4th International Workshop on Reachability Problems, RP 2010 held during August 28-29, 2010 in the F- ulty of Informatics, Masaryk University, Brno, Czech Republic and co-located with Joint MFCS and CSL 2010 (35th InternationalSymposiums on Mathem- ical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). RP 2010 was the fourth in the series of workshops following three successful meetings at Ecole Polytechnique, France in 2009 at University of Liverpool, UK in 2008 and at Turku University, Finland in 2007. TheReachabilityProblemsworkshopsseriesaimsatgatheringtogethersch- ars from diverse disciplines and backgrounds interested in reachability problems that appearin algebraicstructures,computationalmodels, hybridsystems, logic and veri?cation, etc. Reachability is a fundamental problem in the context of many models and abstractions which describe various computational processes. Analysisofthecomputationaltracesandpredictabilityquestionsforsuchmodels can be formalized as a set of di?erent reachability problems.In general, reac- bility can be formulated as follows: Given a computational system with a set of allowed transformations (functions), decide whether a certain state of a system is reachable from a given initial state by a set of allowed transformations. The same questions can be asked not only about reachability of exact states of the system but also about a set of states expressed in terms of some property as a parameterized reachability problem. Another set of predictability questions can be seen in terms of reachability of eligible traces of computations,unavoidability ofsomedynamicsandapossibilitytoavoidundesirabledynamicsusingalimited control.

Reachability Problems

4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

AvIgor Potapov,Antonin Kucera

E-bok

PDF, Engelska, 2010

734 kr

Läs direkt efter köp