2 papers
cs.SE2024
Constrained LTL Specification Learning from Examples
Changjian Zhang, Parv Kapoor, Ian Dardik +4
Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime mon…
cs.CE2024
Generative Manufacturing: A requirements and resource-driven approach to part making
Hongrui Chen, Aditya Joglekar, Zack Rubinstein +6
Advances in CAD and CAM have enabled engineers and design teams to digitally design parts with unprecedented ease. Software solutions now come with a range of modules for optimizin…