3 papers
eess.SP2026
RF Fingerprinting of DSP Implementations using Machine Learning: An Over-the-Air Case Study
Stefan Scholl
Radio frequency fingerprinting aims to identify transmitters by exploiting small differences in the emitted signal waveform. Common approaches exploit hardware-dependent imperfecti…
cs.LO2023
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio +3
In this paper, we study LTLf synthesis under environment specifications for arbitrary reachability and safety properties. We consider both kinds of properties for both agent tasks…
cs.GT2019
Solving Parity Games Using An Automata-Based Algorithm
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli +1
Parity games are abstract infinite-round games that take an important role in formal verification. In the basic setting, these games are two-player, turn-based, and played under pe…