The following pages link to Computer Science Logic (Q5311274):
Displaying 9 items.
- Bounds on sizes of finite bisimulations of Pfaffian dynamical systems (Q1015374) (← links)
- Computing combinatorial types of trajectories in Pfaffian dynamics (Q1044670) (← links)
- O-minimal hybrid systems. (Q1975237) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- Zeno hybrid systems (Q2716782) (← links)
- (Q4414689) (← links)
- Hybrid Systems: Computation and Control (Q5307470) (← links)
- A note on the undecidability of the reachability problem for o-minimal dynamical systems (Q5469108) (← links)
- Logical Approaches to Computational Barriers (Q5898824) (← links)