Sign in

Synthesizing switching logic for safety and dwell-time requirements.

Susmit JhaSumit GulwaniSanjit A. SeshiaAshish 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