| SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems | 0 | 0.34 | 2022 |
| A cryptographic algorithm using wavelet transforms over max-plus algebra. | 0 | 0.34 | 2022 |
| ARCH-COMP20 Category Report - Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. | 0 | 0.34 | 2020 |
| ARCH-COMP19 Category Report - Hybrid Systems with Piecewise Constant Dynamics. | 0 | 0.34 | 2019 |
| Preface - 3rd INNS Conference on Big Data and Deep Learning 2018. | 0 | 0.34 | 2018 |
| Tropical Abstractions of Max-Plus-Linear Systems. | 0 | 0.34 | 2018 |
| Generalized public transportation scheduling using max-plus algebra. | 0 | 0.34 | 2018 |
| ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. | 0 | 0.34 | 2018 |
| Tropical Abstractions of Max-Plus Linear Systems. | 1 | 0.35 | 2018 |
| Formal Verification of Stochastic Max-Plus-Linear Systems. | 3 | 0.37 | 2016 |
| Chance-Constrained Model Predictive Controller Synthesis For Stochastic Max-Plus Linear Systems | 0 | 0.34 | 2016 |
| Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata. | 0 | 0.34 | 2016 |
| Eigenproblems of latin squares in bipartite (min,max,+)-systems | 1 | 0.43 | 2016 |
| Resources Planning In Database Infrastructures | 0 | 0.34 | 2016 |
| Computational techniques for reachability analysis of Max-Plus-Linear systems. | 8 | 0.80 | 2015 |
| Forward Reachability Computation for Autonomous Max-Plus-Linear Systems. | 2 | 0.37 | 2014 |
| Backward Reachability of Autonomous Max-Plus-Linear Systems. | 1 | 0.36 | 2014 |
| Finite Abstractions Of Stochastic Max-Plus-Linear Systems | 2 | 0.38 | 2014 |
| VeriSiMPL: verification via bisimulations of MPL models | 4 | 0.45 | 2013 |
| Finite Abstractions of Max-Plus-Linear Systems | 11 | 0.62 | 2013 |
| Finite abstractions of nonautonomous Max-Plus-Linear systems | 2 | 0.43 | 2013 |
