26 search results - page 6 / 6 » Model Checking: Historical Perspective and Example (Extended... |
120
click to vote
CDC
2009
IEEE
15 years 8 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...