Electronic Proceedings in Theoretical Computer Science Journal

Overview

publication venue for

• A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems 2017
• Automatic Synthesis of Controllers from Specifications using Control Certificates 2016
• On Nonlinear Prices in Timed Automata 2016
• Preface 2016
• Improved Undecidability Results for Reachability Games on Recursive Timed Automata 2014
Preface 2016
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract) 2023
LTLf Synthesis on Probabilistic Systems 2020
SENSE: Abstraction-Based Synthesis of Networked Control Systems 2018
Modular Construction of Shape-Numeric Analyzers 2013
... more

Research

keywords

• theoretical computer science, Science: Mathematics: Instruments and machines: Electronic computers. Computer science