Timezone: »

 
A MaxSAT Approach to Inferring Explainable Temporal Properties
· Rajarshi Roy · Zhe Xu · Ufuk Topcu · Jean-Raphaël Gaglione

Author Information

Rajarshi Roy (Max Planck Institute for Software Systems)
Zhe Xu (Arizona State University)
Ufuk Topcu (University of Texas at Austin)
Jean-Raphaël Gaglione (University of Texas at Austin, Texas, USA)

More from the Same Authors