You are here: TUCS > PUBLICATIONS > Publication Search > Switches and Jumps in Hybrid A...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Switches and Jumps in Hybrid Action Systems
Mauno Rönkkö, Anders P. Ravn, Switches and Jumps in Hybrid Action Systems. TUCS Technical Reports 152, Turku Centre for Computer Science, 1997.
Abstract:
http://www.tucs.fi/Publications/techreports/TR152.php
Files:
Full publication in PDF-format
BibTeX entry:
@TECHREPORT{tRoRa97f,
title = {Switches and Jumps in Hybrid Action Systems},
author = {Rönkkö, Mauno and Ravn, Anders P.},
number = {152},
series = {TUCS Technical Reports},
publisher = {Turku Centre for Computer Science},
year = {1997},
keywords = {weakest liberal precondition, actions, hybrid system},
}