We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …

A rigorous formalization of desired system requirements is indispensable when performing
any verification task. This often limits the application of verification techniques, as writing …

Temporal Logic (TL) can be used to rigorously specify complex high-level specification for
systems in many engineering applications. The translation between natural language (NL) …

We address the problem of teaching a deep reinforcement learning (RL) agent to follow
instructions in multi-task environments. Instructions are expressed in a well-known formal …

We study the generalization abilities of language models when translating natural language
into formal specifications with complex semantics. In particular, we fine-tune language …

In recent decades, modern developed societies have experienced a significant increase in
life expectancy, resulting in a significant degree of aging in the population. This …

Autonomous vehicles (AVs) are being developed, tested, and commercialized around the
world. While skilled human drivers can rely on their experience and common sense to …

Formal methods provide very powerful tools and techniques for the design and analysis of
complex systems. Their practical application remains however limited, due to the widely …

Process compliance aims to ensure that processes adhere to requirements imposed by
natural language texts such as regulatory documents. Existing approaches assume that …

Children acquire their native language with apparent ease by observing how language is
used in context and attempting to use it themselves. They do so without laborious …