Is the process of state building a unilateral, national venture, or is it something more collaborative, taking place in the interstices between adjoining countr

Is the process of state building a unilateral, national venture, or is it something more collaborative, taking place in the interstices between adjoining countr

With a range of case studies from every continent, the contributors to this book analyze the challenges that arise for states living with much larger neighbors,

Reinforcement Learning (RL) is a very dynamic area in terms of theory and application. This book brings together many different aspects of the current research

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal ve