activity
20102026
most citedA Top-down Supervised Learning Approach to Hierarchical Multi-label Classification in Networks

16 citations · 47 across the 13 of their papers we have counts for

collaborators
Showing 2019 · cs.LOShow all

1 paper · 2 filters

cs.LO2019

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification

Miguel Romero, Sergio Ramírez, Camilo Rocha +1

This paper addresses the issue of specifying, simulating, and verifying reactive systems in rewriting logic. It presents an executable semantics for probabilistic, timed, and spati…