activity
20092025
most citedAn Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

31 citations · 86 across the 21 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.FL2022

Co-lexicographically Ordering Automata and Regular Languages -- Part I

Nicola Cotumaccio, Giovanna D'Agostino, Alberto Policriti +1

In the present work, we lay out a new theory showing that all automata can always be co-lexicographically partially ordered, and an intrinsic measure of their complexity can be def…

cs.FL2022

Ordering Regular Languages and Automata: Complexity

Giovanna D'Agostino, Davide Martincigh, Alberto Policriti

Given an order of the underlying alphabet we can lift it to the states of a finite deterministic automaton: to compare states we use the order of the strings reaching them. When th…