This repository contains the source material, code, and data for the book, Computational Methods for Economists using Python, by Richard W. Evans (2023). This book is freely available online as an ...
Abstract: Timed regular expressions serve as a formalism for specifying real-time behaviors of Cyber-Physical Systems. In this paper, we consider the synthesis of timed regular expressions, focusing ...