Cardelli, Luca
- Uncertainty Quantification with Statistical Guarantees in End-to-End\n Autonomous Driving Control
2019/09/21 by Rhiannon Michelmore, Matthew Wicker, Michelmore, Rhiannon +9 · 3 citations
Engineering · Computer Science · #Autonomous Vehicle Technology and Safety #Adversarial Robustness in Machine Learning #Bayesian Modeling and Causal Inference
- Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
2019/01/06 by Nathalie Cauchi, Cauchi, Nathalie, Luca Laurenti +9 · 3 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- From Electric Circuits to Chemical Networks
2018/12/08 by Cardelli, Luca, Tribastone, Mirco, Tschaikowski, Max · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Digital Social Contracts: A Foundation for an Egalitarian and Just\n Digital Society
2020/05/13 by Luca Cardelli, Liav Orgad, Cardelli, Luca +7 · 2 citations
Business, Management and Accounting · Computer Science · Decision Sciences · #Auction Theory and Applications #Blockchain Technology Applications and Security #Computers and Society (cs.CY) #Digital Platforms and Economics #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Game Theory and Applications #Multiagent Systems (cs.MA) #Programming Languages (cs.PL) #Social and Information Networks (cs.SI)