Continuous modelling

Point-Based Value Iteration for Continuous POMDPs

Josep M. Porta, Nikos Vlassis, Matthijs T. J. Spaan, Pascal Poupart

Citations: 246 • 2006

Hybrid Systems: From Verification to Falsification

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi

Citations: 42 • 2007

Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations

Vasumathi Raman, Nir Piterman, Hadas Kress‐Gazit

Citations: 29 • 2013

TIME WINDOWS: AUTOMATED ABSTRACTION OF CONTINUOUS-TIME MODELS INTO DISCRETE-EVENT MODELS IN HIGH AUTONOMY SYSTEMS∗

Qingsu Wang, FRANgOIS E. CELLIER

Citations: 17 • 1991

Branching continuous time and the semantics of continuous action

Ernest Davis

Citations: 3 • 1994

Modeling hybrid systems as the limit of discrete computational processes

Martin Westhead, J. Hallam

Citations: 2 • 2002