371 search results - page 50 / 75 » Electronic case studies: a problem-based learning approach |
105
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
106
click to vote
ICAC
2007
IEEE
15 years 8 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
107
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
ASWEC
2000
IEEE
15 years 6 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
124
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
We consider model-based reinforcement learning in finite Markov Decision Processes (MDPs), focussing on so-called optimistic strategies. Optimism is usually implemented by carryin...