research
∙
07/03/2023
On the Satisfiability of Local First-Order Logics with Data
We study first-order logic over unordered structures whose elements carr...
share
research
∙
11/29/2022
Branch-Well-Structured Transition Systems and Extensions
We propose a relaxation to the definition of a well-structured transitio...
research
∙
09/21/2022
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Angluin's L* algorithm learns the minimal (complete) deterministic finit...
research
∙
09/21/2022
On the Existential Fragments of Local First-Order Logics with Data
We study first-order logic over unordered structures whose elements carr...
research
∙
05/14/2021
Bounded Reachability Problems are Decidable in FIFO Machines
The undecidability of basic decision problems for general FIFO machines ...
research
∙
10/01/2020
Erratum to "Frequency Linear-time Temporal Logic"
We correct our proof of a theorem stating that satisfiability of frequen...
research
∙
09/22/2020
Property-Directed Verification of Recurrent Neural Networks
This paper presents a property-directed approach to verifying recurrent ...
research
∙
02/18/2020
Synthesis in Presence of Dynamic Links
The problem of distributed synthesis is to automatically generate a dist...
research
∙
10/31/2019
Parameterized Synthesis for Fragments of First-Order Logic over Data Words
We study the synthesis problem for systems with a parameterized number o...
research
∙
04/15/2019
Non-Sequential Theory of Distributed Systems
These lecture notes cover basic automata-theoretic concepts and logical ...
research
∙
11/20/2018
Identifiers in Registers - Describing Network Algorithms with Logic
We propose a formal model of distributed computing based on register aut...
research
∙
04/26/2018
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"
Message sequence charts (MSCs) naturally arise as executions of communic...
research
∙
02/23/2018
Gossiping in Message-Passing Systems
We study the gossip problem in a message-passing environment: When a pro...
research
∙
09/28/2017