3 papers
cs.SI2023
Diagnosis of Small-world Bias in Random Graphs
Georgios Argyris
Background: Imagine a paper with n nodes on it where each pair undergoes a coin toss experiment; if heads we connect the pair with an undirected link, while tails maintain the disc…
cs.LO2022
Minimization of Dynamical Systems over Monoids
Georgios Argyris, Alberto Lluch Lafuente, Alexander Leguizamon Robayo +3
Quantitative notions of bisimulation are well-known tools for the minimization of dynamical models such as Markov chains and ordinary differential equations (ODEs). In \emph{forwar…
cs.CE2021
Reducing Boolean Networks with Backward Boolean Equivalence
Georgios Argyris, Alberto Lluch Lafuente, Mirco Tribastone +2
Boolean Networks (BNs) are established models to qualitatively describe biological systems. The analysis of BNs might be infeasible for medium to large BNs due to the state-space e…