Attila Ficsor -

Registered user since Mon 8 Apr 2024

Name:Attila Ficsor

Affiliation:Budapest University of Technology and Economics

Contributions

2026

MODELS

Author of Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition within the Journal First-track

ECMFA

Author of From Constraints to Commands: Graph Pattern Differentiation in 4-Valued First-Order Logic within the ECMFA 2026-track

2024

MODELS

Author of T9: Refinery: Logic-based Partial Modeling within the Tutorials-track

ICSE

Author of Refinery: Graph Solver as a Service within the Demonstrations-track