Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108808829> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- W2108808829 abstract "The timed and hybrid systems group at VERIMAG is looking for a post-doc/engineer. Mission: Develop and implement monitoring algorithms for temporal logic defined over continuous signals, inspired by the AMT Tool, described here. The new monitoring tool will be integrated into SpaceEx, the state-of-the-art platform for verification of continuous and hybrid systems. Qualifications: Basic understanding of formal methods (and their limitations). Basic understanding of dynamical systems (...)" @default.
- W2108808829 created "2016-06-24" @default.
- W2108808829 creator A5011177468 @default.
- W2108808829 date "2013-02-04" @default.
- W2108808829 modified "2023-09-27" @default.
- W2108808829 title "Post-Doc Position at VERIMAG" @default.
- W2108808829 hasPublicationYear "2013" @default.
- W2108808829 type Work @default.
- W2108808829 sameAs 2108808829 @default.
- W2108808829 citedByCount "0" @default.
- W2108808829 crossrefType "journal-article" @default.
- W2108808829 hasAuthorship W2108808829A5011177468 @default.
- W2108808829 hasConcept C10138342 @default.
- W2108808829 hasConcept C127413603 @default.
- W2108808829 hasConcept C133731056 @default.
- W2108808829 hasConcept C154945302 @default.
- W2108808829 hasConcept C162324750 @default.
- W2108808829 hasConcept C198082294 @default.
- W2108808829 hasConcept C199360897 @default.
- W2108808829 hasConcept C201995342 @default.
- W2108808829 hasConcept C25016198 @default.
- W2108808829 hasConcept C41008148 @default.
- W2108808829 hasConcept C48103436 @default.
- W2108808829 hasConceptScore W2108808829C10138342 @default.
- W2108808829 hasConceptScore W2108808829C127413603 @default.
- W2108808829 hasConceptScore W2108808829C133731056 @default.
- W2108808829 hasConceptScore W2108808829C154945302 @default.
- W2108808829 hasConceptScore W2108808829C162324750 @default.
- W2108808829 hasConceptScore W2108808829C198082294 @default.
- W2108808829 hasConceptScore W2108808829C199360897 @default.
- W2108808829 hasConceptScore W2108808829C201995342 @default.
- W2108808829 hasConceptScore W2108808829C25016198 @default.
- W2108808829 hasConceptScore W2108808829C41008148 @default.
- W2108808829 hasConceptScore W2108808829C48103436 @default.
- W2108808829 hasLocation W21088088291 @default.
- W2108808829 hasOpenAccess W2108808829 @default.
- W2108808829 hasPrimaryLocation W21088088291 @default.
- W2108808829 hasRelatedWork W2326168224 @default.
- W2108808829 hasRelatedWork W525018 @default.
- W2108808829 isParatext "false" @default.
- W2108808829 isRetracted "false" @default.
- W2108808829 magId "2108808829" @default.
- W2108808829 workType "article" @default.