MCLab@Sapienza

41 posts

MCLab@Sapienza

MCLab@Sapienza

@MCLabSapienza

#Research on #ModelChecking+#ArtificialIntelligence-based algorithms&tools for verification&synthesis of #MissionCritical #SafetyCritical #CyberPhysicalSystems

Rome, Lazio Katılım Ekim 2016
7 Takip Edilen24 Takipçiler
MCLab@Sapienza
MCLab@Sapienza@MCLabSapienza·
MCLab article "Any-horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-based Formal Verification" published in IEEE Transactions on Software Engineering. doi.org/10.1109/TSE.20…
English
0
0
0
0
MCLab@Sapienza
MCLab@Sapienza@MCLabSapienza·
MCLab article "A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries" published in IEEE Transactions on Industrial Electronics. doi.org/10.1109/TIE.20…
English
0
1
0
0
MCLab@Sapienza
MCLab@Sapienza@MCLabSapienza·
MCLab article "Reconciling Interoperability with Efficient Verification and Validation within Open Source Simulation Environments" published in Simulation Modelling Practice and Theory. doi.org/10.1016/j.simp…
English
0
0
0
0
MCLab@Sapienza
MCLab@Sapienza@MCLabSapienza·
MCLab article "SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems" (Bioinformatics, 2019) now available online: doi.org/10.1093/bioinf…
English
0
1
1
0