Home /Research /A formal mathematical framework for modeling probabilistic hybrid systems
OTHER

A formal mathematical framework for modeling probabilistic hybrid systems

Robert St‐Aubin, Joel Friedman, Alan K. Mackworth

Year
2007
Citations
7

Keywords

Computer scienceProbabilistic logicHybrid systemDynamical systems theoryTheoretical computer scienceAsynchronous communicationSemantics (computer science)Complex systemArtificial intelligenceProgramming language

Related papers

Browse all OTHER papers