MCLab@Sapienza

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

[MCLab@Sapienza @MCLabSapienza]

IWASI 2023: 9th IEEE International Workshop on Advances in Sensors and Interfaces. Monopoli (Bari), Italy, June 8-9, 2023. https://t.co/tCVI9SjEO9

[MCLab@Sapienza @MCLabSapienza]

#Ignition achieved! One step closer to #NuclearFusion and #CleanEnergy https://t.co/pMZllnMY9Y

[MCLab@Sapienza @MCLabSapienza]

MCLab organises the
6th Italian Workshop on Embedded Systems, a meeting point for the exchange of research experience in academy & industry on all aspects of #embeddedsystems.

We look forward to receive your contributions!
https://t.co/ntwrCvfPsP

[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. https://t.co/UOCf9EOydZ

[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. https://t.co/7O6hI2TmvE

[MCLab@Sapienza @MCLabSapienza]

MCLab article "Reconciling Interoperability with Efficient Verification and Validation within Open Source Simulation Environments" published in Simulation Modelling Practice and Theory. https://t.co/wmCMtVllyj

[MCLab@Sapienza @MCLabSapienza]

Using digital twins in viral infection https://t.co/GDrkqXhGJB

[MCLab@Sapienza @MCLabSapienza]

MCLab article "Complete populations of virtual patients for in silico clinical trials" published on Bioinformatics. https://t.co/5zjVuEcTar

[MCLab@Sapienza @MCLabSapienza]

https://t.co/KTQCSneVQt

[MCLab@Sapienza @MCLabSapienza]

https://t.co/AZ03MAsyCm

[MCLab@Sapienza @MCLabSapienza]

https://t.co/AmJeoBsBcx

[MCLab@Sapienza @MCLabSapienza]

Google CEO calls for global AI regulation https://t.co/L6d506f7nN

[MCLab@Sapienza @MCLabSapienza]

MCLab article "SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems" (Bioinformatics, 2019) now available online:
https://t.co/gpaPVCRy9E

[MCLab@Sapienza @MCLabSapienza]

Millions of black people affected by racial bias in health-care algorithms https://t.co/QrtzzCt9Ke

[MCLab@Sapienza @MCLabSapienza]

@JillMorrisFCO, UK Ambassador to Italy and San Marino, talks on #CyberDiplomacy at Dept. Computer Science, Sapienza U. Rome, on Mon 14 Oct at 16:00. Register free at: https://t.co/kjFRJaMsZh

[MCLab@Sapienza @MCLabSapienza]

@JillMorrisFCO, UK Ambassador to Italy and San Marino, talks on #CyberDiplomacy at Dept. Computer Science, Sapienza U. Rome, on Mon 14 Oct at 16:00. Register free at: https://t.co/kjFRJaMsZh

[MCLab@Sapienza @MCLabSapienza]

Why deep-learning AIs are so easy to fool https://t.co/769mq92EcG

[MCLab@Sapienza @MCLabSapienza]

An AI boost for clinical trials https://t.co/GbFZjPMBSP

[MCLab@Sapienza @MCLabSapienza]

https://t.co/bbm7c6z77L

[MCLab@Sapienza @MCLabSapienza]

https://t.co/GOMq1YcXZj