26 search results - page 6 / 6 » Model Checking: Historical Perspective and Example (Extended... |
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...