Sign in
Synthesizing switching logic for safety and dwell-time requirements.
Susmit Jha
Sumit Gulwani
Sanjit A. Seshia
Ashish Tiwari
Published in:
ICCPS (2010)
Keyphrases
</>
information retrieval
databases
multi agent systems
logic programming
modal logic
automated reasoning
epistemic logic
data sets
expert systems
requirements engineering
web browsing
predicate logic