自分のプロフィールを作成
オープン アクセス
すべて表示11 件の論文
2 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Alessandro CimattiFondazione Bruno Kessler確認したメール アドレス: fbk.eu
- Marco RoveriUniversity of Trento - Department of Information Engineering and Computer Science確認したメール アドレス: unitn.it
- Alberto GriggioResearcher, Fondazione Bruno Kessler確認したメール アドレス: fbk.eu
- Stefano TonettaFondazione Bruno Kessler確認したメール アドレス: fbk.eu
- Sergio MoverÉcole Polytechnique and LIX確認したメール アドレス: polytechnique.edu
- Iman NarasamdyaResearcher, Fondazione Bruno Kessler確認したメール アドレス: fbk.eu
- Marco GarioGitHub確認したメール アドレス: github.com
- Marco BozzanoFondazione Bruno Kessler確認したメール アドレス: fbk.eu
- Michael CashmoreUniversity of Strathclyde確認したメール アドレス: strath.ac.uk
- Cristian MattareiApple Inc.確認したメール アドレス: cs.stanford.edu
- Daniele MagazzeniManaging Director at J.P. Morgan. Head of XAI Center of Excellence. Visiting Professor at KCL.確認したメール アドレス: jpmorgan.com
- Roberto PosenatoAssociate Professor of Computer Science, University of Verona (Italy)確認したメール アドレス: univr.it
- Alessandro ValentiniFondazione Bruno Kessler確認したメール アドレス: fbk.eu
- Enrico ScalaUniversità di Brescia確認したメール アドレス: unibs.it
- Minh DoSenior Research Scientist, NASA ARC & KBR確認したメール アドレス: nasa.gov
- David E. Smithconsultant確認したメール アドレス: PSresearch.xyz
- Parisa ZehtabiKing's College london確認したメール アドレス: kcl.ac.uk
- Angelo SusiResearcher, Fondazione Bruno Kessler (FBK), Italy確認したメール アドレス: fbk.eu
- Muhammad Syifa'ul MufidInstitut Teknologi Sepuluh Nopember Surabaya確認したメール アドレス: matematika.its.ac.id
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UK確認したメール アドレス: cs.ox.ac.uk