- Regular Separability and Intersection Emptiness Are Independent Problems Ramanathan S. Thinniyam Georg Zetzsche Thu 06 February 2020
- Regular Separability of Well-Structured Transition Systems Wojciech Czerwinski Slawomir Lasota Roland Meyer Sebastian Muskalla K. Narayan Kumar Prakash Saivasan Thu 06 February 2020
- Nesting Until and Since in Linear Temporal Logic Denis Thérien Thomas Wilke Thu 06 February 2020
- Weakly Definable Relations and Special Automata Michael O. Rabin Thu 06 February 2020
- Grid automata and supervisory control of dense real-time discrete event systems Mustapha Nourelfath Ahmed Khoumsi Thu 06 February 2020
- The Weisfeiler--Leman Dimension of Planar Graphs Is at Most 3 Sandra Kiefer Ilia Ponomarenko Pascal Schweitzer Thu 06 February 2020
- The Element of Surprise in Timed Games Luca de Alfaro Marco Faella Thomas A. Henzinger Rupak Majumdar Marielle Stoelinga Thu 06 February 2020
- Synthesis of timed systems Patricia Bouyer Thu 06 February 2020
- The control of dense real-time discrete event systems H. Wong-Toi G. Hoffmann Thu 06 February 2020
- Control of Infinite Behavior of Finite Automata J. G. Thistle W. M. Wonham Thu 06 February 2020
- On the synthesis of discrete controllers for timed systems Oded Maler Amir Pnueli Joseph Sifakis Thu 06 February 2020
- Lambda Calculus Then and Now Dana S. Scott Wed 05 February 2020
- Games with bound guess actions T. Colcombet S. Gøller Tue 04 February 2020
- The Uniform Measure of Simple Regular Sets of Infinite Trees Marcin Przybyłko Michał Skrzypczak Mon 03 February 2020
- Trading Bounds for Memory in Games with Counters Nathanael Fijalkow Florian Horn Denis Kuperberg Michał Skrzypczak Mon 03 February 2020
- Weak Cost Monadic Logic over Infinite Trees Michael Vanden Boom Mon 03 February 2020
- Strings at MOSCA Matthew Hague Sat 01 February 2020
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering Jean Goubault-Larrecq Simon Halfon Prateek Karandikar K. Narayan Kumar Philippe Schnoebelen Sat 01 February 2020
- Timing assumptions and verification of finite-state concurrent systems David L. Dill Fri 31 January 2020
- Uppaal in a Nutshell Kim G. Larsen Paul Pettersson Wang Yi Fri 31 January 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
