Piergiuseppe Mallozzi
Chalmers tekniska högskola
H-index: 8
Europe-Sweden
Top articles of Piergiuseppe Mallozzi
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
arXiv preprint arXiv:2306.08144
2023/6/13
Piergiuseppe Mallozzi
H-Index: 6
Nir Piterman
H-Index: 24
Pierluigi Nuzzo
H-Index: 21
Gerardo Schneider
H-Index: 17
Pacti: Scaling assume-guarantee reasoning for system analysis and design
arXiv preprint arXiv:2303.17751
2023/3/31
Apurva Badithela
H-Index: 2
Piergiuseppe Mallozzi
H-Index: 6
Ayush Pandey
H-Index: 4
Sheng-Jung Yu
H-Index: 1
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
arXiv preprint arXiv:2302.13980
2023/2/27
Piergiuseppe Mallozzi
H-Index: 6
Hussein Sibai
H-Index: 4
Deploying ZKP Frameworks with Real-World Data: Challenges and Proposed Solutions
2023
Piergiuseppe Mallozzi
H-Index: 6
Contract-Based Specification Refinement and Repair for Mission Planning
2023/5/14
Piergiuseppe Mallozzi
H-Index: 6
Pierluigi Nuzzo
H-Index: 21
Incremental refinement of goal models with contracts
2021
Piergiuseppe Mallozzi
H-Index: 6
Pierluigi Nuzzo
H-Index: 21
Designing Trustworthy Autonomous Systems
2021
Piergiuseppe Mallozzi
H-Index: 6
Crome: Contract-based robotic mission specification
2020/12/2
Co-Authors
